■スターリングの公式の図形的証明?(その56)

  j+1=2k−j → j=k−1/2  (j=1〜2k)

のときといってもよいと考えたのであるが,これは切稜面までの距離が最大になるときであって,最適球は

  j〜k±√k

である.

===================================

 j〜k±√kのとき,

  (j+1)(2k−j)=(k+√k+1)(k−√k)

あるいは

  (j+1)(2k−j)=(k−√k+1)(k+√k)

であって,いずれの場合であっても

  (j+1)(2k−j)=k^2−k

  k!〜(2k+1)^(1/2}{π/4・k(k−1)/(2k+1)}^k

  k!/k^k〜(2k+1)^(1/2}{π/8}^k

 さらに,πe=8,539・・・より,

  (π/8)^n≒(1/e)^n

  k!/k^k〜(2k)^(1/2}(1/e)^n

が得られる.

===================================