integral sin(x)/x from 2*Pi to 10^4