sqrt(2x-2/x)+(x+3)/(sqrt(x+3)+sqrt(2x^2-2))^2<=x