lim ((x^2+1)^(1/2)-x), x=inf