\[\operatorname{Ai}\left(x\right)=\frac{1}{\pi}\int_{0}^{\infty}\cos\left(\tfrac%
{1}{3}t^{3}+xt\right)\,\mathrm{d}t.\]