Re:>>240 人と成る.

x(i)≧0, i∈{1,…,n} に対して, 農{i=1}^{n}(x(i))/n≧(Π_{i=1}^{n}(x(i)))^(1/n).