integrate (sinc(x))^2 from 0 to infinity