limes x* sqrt(2-x^2)