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