integrate sin x dx/ (1+x^2) from x=0 to +inf