>>9
f(x)=-x log x は f''(x)=-(1/x) だから x>0 で上に凸。
したがって、(f(p_1)+f(p_2)+...+f(p_n))/n ≦ f((p_1+p_2+...+p_n)/n) を満たす。