>>14
解説ありがとうございます。
x>0 で上に凸だから(f(p_1)+f(p_2)+...+f(p_n))/n ≦ f((p_1+p_2+...+p_n)/n) を満たす。
というところが良く分かりません。
あと、仮にこのことがわかったとして解いていくとH(i)≦1が出ました。
では0≦H(i)はどのようにして出せばよいでしょうか？