sinc(x):=sin(x)/x;

integrate(sinc(x)^2,x,0,inf);