$\int_{0}^{\infty}\mathbf{H}_{1}\left(t\right)\,\frac{\,\mathrm{d}t}{t^{2}}=%
\tfrac{1}{4}\pi,$