x, y ∈ R に対して、

(1) 1/(x+1)^2 + 1/(y+1)^2 ≧ 1/(xy+1)

(2) a^3 + b^3 + c^3 - 3abc ≦ (a^2 + b^2 + c^2)^(3/2)