integral sin(x)/x from 2*Pi to inf