オイラーの関数の極値

　いやはやオイラーの関数にこんな特性があるなんてね。
オイラー関数とはこんな積であり、分割数との関係で有名な関数だ。

　ｎは自然数だけど、どうやらほとんどのｎでｘ＝-1/2の付近で極値になるらしいのだ。

　誰か証明してみませんか？

ラマヌジャンの遺した関数 (本格数学練習帳 第1巻)