1 以上の整数 n に対して φ(n) を {m; 0＜m＜n かつ m は整数かつ m と n は互いに素} の元の個数とする.φ(2)=1, φ(4)=2, φ(6)=2.n が 1 以上の整数で 2 でも 4 でも 6 でもない時, φ(n)＞log(n)/log(2).

続きを読む