limes x to inf ((x^2-3)^(1/2)-(x^2-3x)^(1/2))