【Johnstonの不等式】
a_1, …, a_n の相加平均をA、相乗平均をBとする。
0 < P ≦ a_k ≦ Q のとき、 G^(Q-P) ≧ P^(Q-A)・Q^(A-P)

　　∧_∧　ｯﾊﾟｼｬ　ｯﾊﾟｼｬ
　　(　　 )】
　　/　 /┘ ﾑｯﾊｧ〜 ﾊｧﾊｧ…
　ノ￣ゝ