\[J_{\nu}\left(z\right)=\sqrt{2/(\pi z)}\left(\cos\left(z-\tfrac{1}{2}\nu\pi-%
\tfrac{1}{4}\pi\right)+e^{|\Im z|}o\left(1\right)\right),\]