十分大きなｎに対して、

[n^3,(n+1)^3]

には常に１個の素数が存在する。

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

　１９４７年，ミルズはある定数Ａが存在し，すべてのｎに対して素数だけしか与えない公式

　　ｐn＝［Ａ^3^n］

を示した．

　　１．３０６３７７８８３８６３＜Ａ＜１．３０６３７７８８３８６９

　　ｐ1＝２，ｐ2＝１１，ｐ3＝１３６１，ｐ4＝２５２１００８８８７

　この公式ですべての素数を生み出せるわけではないが，任意の大きな素数を得ることができるようになった．

　ミルズは，定数Ａを作るために，十分大きなｎに対してｎ^3と（ｎ＋１）^3−１の間には常に素数が１個存在するという事実を利用した．実はこの式から作り出されるすべての素数は定数Ａのなかにそっと埋め込まれている．すなわち，この式では定数Ａをｐnからある種の姑息な方法で計算して決めているため，本当の閉じた式であるとは考えにくい．

　ともあれ，任意に大きい素数を与えることができ，しかも素数しか与えない実用になる式はこれまでのところ見つかっていないのである．

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

　ここでは，ある定数ｃと十分に大きい任意の素数ｐとθ＝１０５１／１９２０に対して．ｐとｐ＋ｃｐ^θの間に素数が必ず存在する（自明でない）事実を使って，そのような定数Ａが存在することをす証明しよう．

　重要なことはθ＜２／３であることである．ｐ1を十分大きくとり，ｐnをｐn-1^3より大きい最も小さい素数とする．

　　ａn＝３^-nｌｎｐn，ｂn＝３^-nｌｎ（ｐn＋１）

として，もしａn-1≦ａn＜ｂn≦ｂn-1であることを示すことができれば

　　Ａ＝ｅ^ａn　　　（ｎ→∞）

とすることができる．

　この条件は

　　ｐn-1^3≦ｐn＜（ｐn-1＋１）^3

と同じで，もしこの間に素数ｐnが存在しなければ素数ｐ＜ｐn-1^3で，

　　ｐ＋ｃｐ^θ＞（ｐn-1＋１）^3

となるものが存在しなければならない．しかし，これはｃｐ^θ＞３ｐ^2/3であることを意味し，ｐが十分大きければ不可能である．

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