【２】スターリングの近似公式別証

（Ｑ）任意の自然数ｎに対して

　　ｎ！＝√（２πｎ）ｎ^nｅｘｐ（−ｎ）ｅｘｐ（θ／１２ｎ）

を満たす０≦θ≦１が存在することを証明せよ．

（Ａ）ｆ（ｘ）＝（１／２）ｌｏｇ（１＋ｘ）／（１−ｘ）−ｘ

とおく（０≦ｘ≦１）．

　　ｆ（０）＝０

　　ｆ’（ｘ）＝ｘ^2／（１−ｘ^2）＞０

さらに，

　　ｇ（ｘ）＝ｆ（ｘ）−ｘ^3／３（１−ｘ^2）

とおけば，

　　ｇ（０）＝０

　　ｇ’（ｘ）＝−２ｘ^4／３（１−ｘ^2）^2＜０

　よって，

　　０≦（１／２）ｌｏｇ（１＋ｘ）／（１−ｘ）−ｘ≦ｘ^3／３（１−ｘ^2）

が成り立つ．ｘ＝１／（２ｎ＋１）を代入すると

　　０≦（ｎ＋１／２）ｌｏｇ（ｎ＋１）／ｎ−１≦１／１２（１／ｎ−１／（ｎ＋１））

　　ａn＝ｎ^(n+1/2)exp(-n)/n!,ｂn＝ａnexp(1/12n)，ａn<ｂnとおくと

　　ｌｏｇａn+1／ａn≧０よりａn+1≧ａn

　　ｌｏｇｂn+1／ｂn≦０よりｂn+1≦ｂn

よって

　　ｃｎ^(n+1/2)ｅｘｐ（−ｎ）≦ｎ！≦ｃｎ^(n+1/2)ｅｘｐ（−ｎ）ｅｘｐ（１／１２ｎ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【３】ウォリスの公式

　さらに，ウォリスの公式より，ｃ＝√２πが示される．

（証）　　1/2B(1/2,(n+1)/2)=∫(0,π/2)(sinθ)^ndθ

この値をＳnとおくと，部分積分により漸化式

　　Ｓn=(n-1)/nＳn-2

が得られるから，

　　n=2k（偶数）なら1･3･･･(2k-1)/2･4･･･(2k)*π/2

　　n=2k+1（奇数）なら2･4･･･(2k)/1･3･･･(2k+1)

　これより

　　ｌｉｍ1･3･･･(2k-1)/2･4･･･(2k)*√(k)=1/√(π)

変形するとウォリスの公式

　　(2n)!/(2^nn!)^2√(n)=1/√(π)

が得られる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝