lim[x→∞]x(arctan(x)-π/2)