integral of 4sin(x)/x