integral of (4 sin x)/x