In NIST the following bound is claimed: $|J_\nu(x)|\le 1$ for all $x,\nu\ge0$. This is trivial for integer $\nu$, and it is pretty easy to prove a bound with 1 replaced, say, by 2. Does anyone have a reference for the sharp bound 1?