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