\[\operatorname{Ai}\left(z\right)=\frac{\sqrt{3}}{2\pi}\int_{0}^{\infty}\exp%
\left(-\frac{t^{3}}{3}-\frac{z^{3}}{3t^{3}}\right)\,\mathrm{d}t,\]