a,b,c>0 に対して、
(a+b+c)(1/a + 1/b + 1/c) ≧ 1 + 24(aa+bb+cc)/{(a+b+c)^2}.