integrate(sin(x)/(1+x^2),0,inf)。