limx→无穷 (1+t^2)dt/x^4