$\int_{0}^{\infty}\operatorname{Ai}\left(t\right)\,\mathrm{d}t=\tfrac{1}{3}$