1: \begin{proof}

2:   Consider the Fourier transform of $f$, which is defined in a

3:   pointwise sense since $f \in L^1$:

4:   \begin{displaymath}

5:     \hat{f}(k) = \int f(x) \exp(-i k \cdot x) \dk.

6:   \end{displaymath}

7:   Taking the formal derivative with respect to $k$ we obtain

8:   \begin{displaymath}

9:     \D \hat{f}(k) = - i \int f(x) \otimes x \exp(-i k \cdot x) \dk.

10:   \end{displaymath}

11:   If $f \otimes x \in L^1$ then Lebesgue's differentiation theorem can

12:   be used to make this rigorous. Hence we deduce that $\hat{f} \in

13:   W^{1,\infty}$. Therefore, since $\hat{f}(0) = 0$, it follows that

14:   $\hat{f}(k)/|k|$ is bounded as $k \to 0$. Because $f \in L^2$, it

15:   follows that $\hat{f} \in L^2 \cap L^\infty$, from which is follows

16:   easily that $\hat{f}(k)/|k| \in L^2$.

17: \end{proof}

18: