■1000!は10^250より大きいか? (その17)

 階乗n!の近似値を与える公式として有名なスターリングの公式があります.

  Γ(n+1)=n!〜√(2πn)n^n xp(−n)

 スターリングの公式の変種としては,

  (n+1/2)^n〜n^nexp(−1/2)

  Γ(n+1/2)〜√(2π)(n+1/2)^n xp(−n+1/2)〜n!/√n

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

[Q]pを素数,qを2以上の非素数,rを2以上の自然数とする.このとき,全素数にわたる積

  P=Πp^6/(p^6−1)=ζ(6)=π^6/945

であるが,

  Q=Πq^6/(q^6−1)=?

[A]S(x)=sinπx/πx=Π(1,∞)(1−x^2/n^2)

 ωを1の3乗根とする.ω^3=1,ω^2+ω+1=0

 S(x)S(ωx)S(ω^2x)=Π(1,∞)(1−x^2/n^2)(1−ω^2x^2/n^2)(1−ω^4x^2/n^2)=Π(1,∞)((n^6−x^6)/n^6)

Π(1,∞)(n^6/(n^6−x^6))=1/S(x)S(ωx)S(ω^2x)

Π(2,∞)(n^6/(n^6−x^6))=(1−x^6)/S(x)S(ωx)S(ω^2x)=(πx)^3(1−x^6)/sin(πx)sin(ωπx)sin(ω^2πx)

 ここで,x→1としてときの極限を考えてみます.ロピタルの定理より

N=Π(2,∞)n^6/(n^6-1)=lim(x→1) π^3x^3(1-x^6)/sin(πx)sin(ωπx)sin(ω^2πx)

sin(ωπ)sin(ω^2π)=-1/2(cos(ω+ω^2)π-cos(ω-ω^2)π)

sin(ωπ)sin(ω^2π)=-1/2(-1-cos(i√3π))

より,N=12π^2/(1+cosh(π√3))として求まります.

  Q=N/P

  P=π^6/945より,Q=11340/π^4(1+cosh(π√3))=1.002001・・・

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