求极限lim(x→+∞)∫[0,x](arctant)²dt/√(x²+1)