lim(x to infty) arctan(x)