■メルセンヌ素数予想(その7)

  πM(x)〜C・loglog2x

  C=expγ/log2=1/0.56/log2

 γをオイラーの定数とする.

  γ=lim(1/k−logn)=0.5773502691・・・

  −logγ=0.5495393129・・・

  exp(γ)=1.7810724179・・・

 精度を上げて再計算.

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

[1]8番目のメルセンヌ素数:2^31−1=2147483647に対して,

  πM(2^31)=8.82378

[2]27番目のメルセンヌ素数に対して

  πM(2^44497)=27.5023

[3]28番目のメルセンヌ素数に対して

  πM(2^86243)=29.2027

[4]29番目のメルセンヌ素数に対して

  πM(2^132049)=30.2973

[5]49番目のメルセンヌ素数:2^57885161−1に対して,

  πM(2^57885161)=45.9279

 この規則正しさはまったく驚くべきものである.

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