正の実数a,b.cについて
Σcyc [{√(a+b)(a+c)}(√b+√c)] ≧ 3√{(a^3+b^3+c^3+5abc)/2}