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

  r^2k〜(2k+1)^(-1/2}・(π/2k^2)^k・k!

  hj={(j+1)(n−j)/2n^2(n+1)}^1/2=r

を代入すると

  {(j+1)(2k−j)/8k^2(2k+1)}^k

 〜(2k+1)^(-1/2}・(π/2k^2)^k・k!

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

[1]j=0のとき

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

  (2k)/(2k+1)=1/(1+1/2k)

  {1/(1+1/2k)}^k〜exp(−1/2)

[2]j=1のとき

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

  (2k−1)/(2k+1)=1−1/(k+1/2)

  {1−1/(k+1/2)}^k+1/2〜e

 いずれにせよ,スターリング近似式に似ていない.

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