lim[x→∞]{x(π/2-tan⁻¹x)}