integral sin(x)/x, x=0 to infinity