integral from 0 to infinity of (10 sin(x))/(2x)