x^2+(2/(x^2+2)) ≤1