正の数a、b、c、dに対して
 2(ab + ac + ad + bc + bd + cd)^3 ≧ 27(abc + abd + acd + bcd)^2

( ゚∀゚)ウヒョッ!