a, b ∈R
a^4 + b^4 + 2 ≧ 4ab