只要证明arctanx→π/2 （X→+∞） 即可,任给ε>0,取N=tan（π/2- ε）,当x>N时,有x>tan（π/2- ε）,即π/2-arctanx