a_1,a_2,a_3,・・・・a_n のk次基本対称式をe_k (k=1,2,...n)

F(k)≡(e_k/nCk)^(1/k) とするとき

F(k)≧F(k+1)