フェルマー数
その名の由来であるピエール・ド・フェルマーは、この式の n に非負整数を代入したとき常に素数を生成すると主張(予測)したが、1732年にレオンハルト・オイラーが n = 5 の場合に素数でないことを示し、フェルマーの主張は誤りと確認された。素数であるフェルマー数はフェルマー素数と呼ばれる。
実際にフェルマー数の値の最初の方をいくつか計算してみると、
F0 = 2 + 1 = 3
F1 = 2 + 1 = 5
F2 = 2 + 1 = 17
F3 = 2 + 1 = 257
F4 = 2 + 1 = 65537
F5 = 2 + 1 = 4294967297
F6 = 2 + 1 = 18446744073709551617
F7 = 2 + 1 = 340282366920938463463374607431768211457
F8 = 2 + 1 = 115792089237316195423570985008687907853269984665640564039457584007913129639937
が得られる。
F4 = 65537 までは、257 未満の既知である全ての素数で割りきれないことを確かめることで、容易に素数であることを確認できる。
しかし F5 以降は(17世紀当時の計算技術から見ると)相当に巨大な数であると同時に小さな素因数を含んでいないことが、フェルマーを幻惑し反証の発見にはオイラーを待つこととなった要因の一つである。