lim_(x->+oo) x* atan(1/(1+sqrt(x))