x1,x2,...,xn>0とする
n変数k次基本対称式
Sk=Σx1x2...xk
とする。このとき、
(Sk/nCk)^(1/k)≧(S_{k+1}/nC{k+1})^(1/(k+1))
を示せ！