\[\int_{0}^{\infty}\operatorname{Ci}\left(t\right)\operatorname{si}\left(t\right%
)\,\mathrm{d}t=\ln 2.\]