削除された内容 追加された内容
編集の要約なし
m 218.216.221.54 (会話) による版を N.Mori による版へ巻き戻し
1行目:
'''階乗素数'''(かいじょうそすう、factorial prime)とは、[[階乗]]との差が 1 である(n!+1またはn!-1の形をした)[[素数]]のことである。なお、[[素数階乗]] p# とは別の概念であることに注意しなければならない。
 
階乗素数が少ないことと、2 以上 n 以下の数 k について n! &plusmn; k が kで割りきれることから[[自然数]]の中でしばしば[[合成数]]が連続して存在することが説明できる。例えば、素数6227020777 = 13!-23 の次の素数は 6227020867 = 13!+67 であり、これらのあいだに 89個の合成数が並んでいる。しかし、この方法は素数の間の長いギャップを見つけるのにいつでも最適な方法だというわけではない。たとえば素数N360653N<sub>2</sub>360749 の間には95個の合成数が並んでいる。
 
[[2007年]]現在知られている最も大きな階乗素数は N<sub>3</sub>34790!-1 で、[[十進記数法]]で表記したときの桁数は1無量大数14万2891桁にも及ぶ。
 
== n!+1型の階乗素数 ==
''n'' = 0, 1, 2, 3, 11, <sub>…</sub>27, 37, 41, 73, 77, 116, 154, 320, 340, 399, 427, 872, 1477, 6380, 26951, ... などのとき、''n''! + 1は素数となる。{{OEIS | id=A002981}}
*0!+1 = 1!+1 = 2
*2!+1 = 3
*3!+1 = 7
*11!+1 = 39916801
*27!+1 = 10888869450418352160768000001
*……
 
== n!-1型の階乗素数 ==
''n'' = 3, 4, 6, 7, 12, 14, <sub>…</sub>30, 32, 33, 38, 94, 166, 324, 379, 469, 546, 974, 1963, 3507, 3610, 6917, 21480, 34790, ... などのとき、''n''! - 1は素数となる。{{OEIS | id=A002982}}
*3!-1 = 5
*4!-1 = 23