20161129

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).