フェルマー数
フェルマー数を表すにはいくつか等価な表記がある。
ペピン・テストはフランスの数学者テオフィル・ペピン(en:Théophile_Pépin)によって名付けられたフェルマー数に対する素数判定法である。
Fn = 2 + 1 (n ≥ 1) で {Fn}を定義すると、
F n ∤ 3 ( F n − 1 ) / 2 + 1 {\displaystyle F_{n}\not \mid 3^{(F_{n}-1)/2}+1} ならば、Fn は合成数である
F n ∣ 3 ( F n − 1 ) / 2 + 1 {\displaystyle F_{n}\mid 3^{(F_{n}-1)/2}+1} ならば、Fn は素数である
基数は3以外の数値として以下を取ることを可能とする。
5, 6, 7, 10, 12, 14, 20, 24, 27, 28, ...(オンライン整数列大辞典の数列 A129802)