\[\int_{0}^{\infty}\cos t\operatorname{Ci}\left(t\right)\,\mathrm{d}t=\int_{0}^{%
\infty}\sin t\operatorname{si}\left(t\right)\,\mathrm{d}t=-\tfrac{1}{4}\pi,\]