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