lim（x→+∞）∫（0→x）（arctant）²dt/√（1+x²）
=lim（x→+∞）∫（0→x）（arctant）²dt/x (∞/∞)
=lim（x→+∞）（arctanx）²
=π^2/4=lim（x→+∞）（arctanx）²这一步是怎么得来的？洛必达法则求导啊这个算是无穷比无穷型的吗嗯