$\displaystyle\mathbf{J}_{\nu}\left(0\right)=\frac{\sin\left(\pi\nu\right)}{\pi%
\nu},$