=lim (π/2-arctanX) / (1/x)
=lim ( -1/(1+x²) ) / (-1/x²) {洛比达法则}
=lim x²/(1+x²)
=lim 1/( (1/x²) +1)
=1