■メルセンヌ素数予想(その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
この規則正しさはまったく驚くべきものである.
===================================