Relationship between Airy Ai and modified Bessel K

Theorem: The following formula holds: $$\mathrm{Ai}(z)=\dfrac{1}{\pi} \sqrt{\dfrac{z}{3}} \mathrm{K}_{\frac{1}{3}} \left( \dfrac{2}{3} x^{\frac{3}{2}} \right),$$ where $\mathrm{Ai}$ is the Airy Ai function and $K_{\nu}$ denotes the modified Bessel $K$.

Proof: █