20201231/20210101は素数、20291231/20300101も素数、そして21611231/21620101も素数

この前、20141231が素数なのもガセ、20150101が次の素数なのもガセ。皆、ちゃんと計算してからRetweetしてくれ、、、

という話を書いたが、ちゃんとその手のが素数なのをひまなんでリストアップしてみた。

Pari/GPには素数が簡単に扱える関数があって、それを使いました。具体的にはforprimeを使ってリストを打ち出した。http://www.sci.u-toyama.ac.jp/~iwao/pari-gp/pari-gp-ElemeNumTh.html

すると、今後近々で起きるのは、

20201231
20210101

20291231
20300101

21611231
21620101

のようだ。ただし、例えば20201231の次の素数は20201239、20201249、20201267、20201273、・・・と間に516個挟んでようやく20210101になる。

そりゃその2つの日付の間は8870離れていて、その間一つも素数がないとかまあ考えられないから。。。証明でも何でもないけど、素数定理　π(x)～x/ln(x)　を使ってみると、その二つの間の差は496くらいになって実際の516とも結構あってる。

ついでにこれも参照：

素数の間隔、今や246まで縮まってる（2014/4/14時点）