integrate sinc(x)^2 from -inf to inf