a1, a2, …, an > 0 のとき
 a1^3/a2 + a2^3/a3 + … + an^3/a1 ≧ a1^2 + a2^2 + … + an^2