integral of sinc(x)