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