求极限lim[∫(下限0上限x) (arctan t)^2dt]/根号下(1+x^2) x趋于正无穷