「素数階乗」あるいは「素数階乗素数」とは異なります。

階乗素数（かいじょうそすう、英: factorial prime）とは、階乗との差が 1 である素数のことである。つまり、n! ± 1（n は自然数）と表される素数のことである。

階乗素数は少ないことと、自然数の中でしばしば合成数が連続して存在することが説明できる。n! ± k (2 ? k ? n) は 2 以上の自然数 k で割りきれるから、連続する n − 1 個の合成数である。例えば、素数 13! − 23 = 6227020777 の次の素数は 13! + 67 = 6227020867 であり、これらの間の89個の自然数はすべて合成数である。しかし、2つの素数の間の長いギャップはこの方法により得られるものがすべてではない。例えば、素数 360653 と 360749 の間には95個の合成数が並んでいる。

2022年1月現在49個の階乗素数が知られており、その中で最大のものは 308084! + 1 である。十進法表示したときの桁数は144万9771桁にも及ぶ。
n! + 1 型の階乗素数

n! + 1 が素数となる 0 以上の整数 n は、小さい順に次のようになる。 0, 1, 2, 3, 11, 27, 37, 41, 73, 77, 116, 154, 320, 340, 399, 427, 872, 1477, 6380, 26951, 110059, 150209, 288465, …（オンライン整数列大辞典の数列 A2981）このときの実際の素数はオンライン整数列大辞典の数列 A088332を参照。

3! + 1 = 7 であるが、n ? 11 以降、急に大きくなる。11! + 1 = 3991680127! + 1 = 10888869450418352160768000001

n! − 1 型の階乗素数

n! − 1 が素数となる 0 以上の整数 n は、小さい順に次のようになる。3, 4, 6, 7, 12, 14, 30, 32, 33, 38, 94, 166, 324, 379, 469, 546, 974, 1963, 3507, 3610, 6917, 21480, 34790, 94550, 103040, 147855, 208003, …（A2982）このときの実際の素数はオンライン整数列大辞典の数列 A055490を参照。

7! − 1 = 5039 であるが、n ? 12 以降、急に大きくなる。12! − 1 = 47900159914! − 1 = 87178291199

その他

n! ± 1 が共に素数となる自然数 n は 3 のみが知られているだけで、他にそのような自然数 n は未だに発見されていない。

n! + 1 もしくは n! − 1 の素数も合成数も無数に存在するかはわかっていない。

n! + 1に関してはウィルソンの定理より合成数が無数に存在することが素数の無限性より容易に示せる。

参考文献

リチャード・ガイ著 Unsolved Problems in Number Theory, 3rd ed., Springer, 2004 ISBN 978-0387208602

（初版の訳）一松信訳『数論における未解決問題集』シュプリンガー・フェアラーク・東京、1994年 ISBN 978-4431705840

（第三版の訳）金光滋訳『数論「未解決問題」の事典』朝倉書店、2010年 ISBN 978-4254111293


関連項目

階乗

素数

素数階乗

素数階乗素数

外部リンク.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;line-height:1.25em;background-color:#f9f9f9;display:flow-root}.mw-parser-output .side-box-abovebelow,.mw-parser-output .side-box-text{padding:0.25em 0.9em}.mw-parser-output .side-box-image{padding:2px 0 2px 0.9em;text-align:center}.mw-parser-output .side-box-imageright{padding:2px 0.9em 2px 0;text-align:center}@media(min-width:500px){.mw-parser-output .side-box-flex{display:flex;align-items:center}.mw-parser-output .side-box-text{flex:1}}@media(min-width:720px){.mw-parser-output .side-box{width:238px}.mw-parser-output .side-box-right{clear:right;float:right;margin-left:1em}.mw-parser-output .side-box-left{margin-right:1em}}プロジェクト 数学ポータル 数学

.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}Weisstein, Eric W. "Factorial Prime". mathworld.wolfram.com (英語).

The Prime Pages, ⇒The Prime Glossary: factorial prime

⇒The Top Twenty: Factorial primes


PrimeGrid, ⇒Factorial Prime Search

表

話

編

歴
素数の分類
生成式

フェルマー (22n + 1)

メルセンヌ (2p − 1)

二重メルセンヌ (22p−1 − 1)

ワグスタッフ ((2p + 1)/3)

プロス (k・2n + 1)

階乗 (n! ± 1)

素数階乗 (pn# ± 1)

ユークリッド (pn# + 1)

ピタゴラス (4n + 1)

ピアポント (2u・3v + 1)

Quartan（英語版） (x4 + y4)

ソリナス（英語版） (2a ± 2b ± 1)

カレン (n・2n + 1)

ウッダル (n・2n − 1)

Cuban（英語版） ((x3 − y3)/(x − y))

キャロル ((2n − 1)2 − 2)

Kynea ((2n + 1)2 − 2)

レイランド (xy + yx)

サービト（英語版） (3・2n − 1)

ミルズ ([A]3n)

漸化式（英語版）

フィボナッチ

リュカ

ペル

ニューマン?シャンクス?ウィリアムズ

ペラン

分割

ベル

モツキン

各種の性質

ヴィーフェリッヒ（英語版） (対（英語版）)

ウォール?孫?孫（英語版）

ウォルステンホルム

ウィルソン

幸運

フォーチュン

ラマヌジャン（英語版）

ピライ

正則

強（英語版）

スターン

Supersingular (楕円曲線)（英語版）

Supersingular (ムーンシャイン理論)（英語版）

良い

スーパー

ヒッグス（英語版）

高度コトーティエント（英語版）

基数依存

ハッピー

二面（英語版）

回文

エマープ

レピュニット ((10n − 1)/9)

置換可能

Circular（英語版）

切り捨て可能

Strobogrammatic（英語版）