lim arctan(x) x->inf