そういうわけで，違う凸関数を用いればうまくいくんじゃないか？という方針が見える． もう少し粘ってみよう．

どちらの不等式も強力な不等式である．2つの不等式を鑑賞していたときだった． ふと「イェンゼンの不等式」はいかなる凸関数を持ってきても成り立つ， 適用範囲が大きい不等式であるから，「イェンゼンの不等式」⇒「並べ替えの不等式」という証明が成り立ち…