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