■スターリングの公式の図形的証明?(その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
が得られる.
===================================