φ(n)σ(n)の不等式

　Wikipediaのオイラーのφ関数のサイト（オイラーのφ関数 - Wikipedia）に という不等式があり、面白いと思ったので証明してみました。証明してるサイトが見つからなかったので、誤りがあったらすみません。

　なお、最後の方で以下のことを使いました。

　 というわけですが、何とかして の範囲を の式で表せないですかね。調べるか思いつくかしたらまた更新します。ではまた。