Lehmer's totient problem

最近気になっている。

en.wikipedia.org

整数nについて、n\geq 2なら

n:prime  number ⇔  \varphi(n)|n-1

というだけのエラく簡単な書式の予想だ。

\varphi(n)って意外とでかいのね。