1: \begin{proof}

2: These assertions are clear from the graphs of the functions in Figure~\ref{Bessel figure} (since the first three functions are even, we may restrict attention to $x\ge0$); a rigorous proof is unenlightening, and we omit most of the details. Derivatives of Bessel functions are related to Bessel functions of higher order, and in particular

3: \begin{align*}

4: K(x) = \frac{J_1(x)}x \quad\text{and}\quad

5: -J_0''(x) = J_0(x) - \frac{J_1(x)}x = \frac{J_0(x)-J_2(x)}2.

6: \end{align*}

7: Serviceable bounds for these functions can be easily derived from~\cite[Section~VII.3, equation~(1)]{Wat} and the prior equations, showing that the lemma is true for $x\ge6$, say. The computations establishing the lemma for the remaining range can be done to any desired accuracy by computer. The smallest value of the three functions for $\kappa\in[0,\frac12]$ is $-J_0''(\frac12) > 0.45$, while the closest any of these functions come to violating the asserted inequality is the local minimum of $-J''_0(x)$ near $x=3.5$, at which $-J_0''(x) > -0.42$.

8: \end{proof}

9: