lim(x→正无穷)√(1 x2)