lim_(x -> oo) (x - sqrt(x^2 + 1))