int 10*sin(x)/(2*x) dx, x = 0 to oo