>>692
ありがとうございます
只々証明のエレガントさに感動しております
微分で大小関係を調べるのは思いつきませんでした