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