5 * (integral sinx / x dx from 0 to inf)