integrate sin(x)/x from 0 to infinity