integrate (10 sin(x))/(2 x) from 0 to infinity