integral 10sin(x)/x from 0 to inf