=1,见图
=lim (π/2-arctanX) / (1/x)=lim ( -1/(1+x²) ) / (-1/x²) {洛比达法则}=lim x²/(1+x²)=lim 1/( (1/x²) +1)=1
X(π/2-arctanX)→1.