ヒンチンの本かなんかからだしてんのかな？これぐらいの評価なら初等的にできるっていう
不等式がいっぱいのってたな。