z \displaystylelimit as x -> +infinity of (sqrt(x^2 + 1) - x)