Show that the integral $\int _ { 0 } ^ { + \infty } \operatorname { sinc } ( s ) \mathrm { d } s$ is convergent.