正の数 x、y、… に対して、相加平均を A(x、y、…)、総乗平均を G(x、y、…)であらわすことにする

正の数 a、b、c、d に対して
A(a、b、c、d)
　≧ G(A(a、b、c)、A(b、c、d)、A(c、d、a)、A(d、a、b))
　≧ G(A(a、b)、A(a、c)、A(a、d)、A(b、c)、A(b、d)、A(c、d))
　≧ G(a、b、c、d)