lim（x→+∞）（∫[0,x]2arctantdt/√（1+x²） (∞/∞)
=lim（x→+∞）2arctanx/[x/√（1+x²）]
=lim（x→+∞）2arctanx
=π