1: \begin{proof}

2: Set

3:     \begin{equation}

4:     K_3(x):=

5:     \begin{cases}

6:         1           &   0\leq |x| \leq \tfrac14, \\

7:         0.6644+0.3356\left(\tfrac{2}{\pi}

8:         \tan^{-1}\left(\tfrac{1-2x}{\sqrt{4x-1}}\right)\right)^{1.2015}

9:                     &   \tfrac14 \le |x| \le \tfrac12.

10:     \end{cases}

11:     \label{easy.K.def}

12:     \end{equation}

13: $K_3(x)$ is pictured in Figure~\ref{GoodK}.

14:     \begin{figure}

15:     \begin{center}

16:     \begin{picture}(384,128)

17:     \put(176,114){$K_3(x)$}

18:     \put(356,0){$x$}

19:     \put(0,-10){\includegraphics{GoodK}}

20:     \end{picture}

21:     \end{center}

22:     \caption{The function $K_3(x)$\label{GoodK}}

23:     \end{figure}

24: 

25: We do not know how to rigorously bound $\|\hat{K_3}\|_{4/3}$, but we can rigorously bound $\|\hat{K_4}\|_{4/3}$

26: where $K_4$ is a piecewise linear function `close' to $K_3$. Specifically, let $K_4(x)$ be the even piecewise

27: linear function with corners at

28:     $$(0,1),\left(\frac14,1\right), \left(\frac14+\frac{t}{4\times 10^4},

29:     K_3\Big(\frac14+\frac{t}{4\times10^4}\Big)\right) \quad (t=0,1,\dots,10^4).$$

30: We calculate (using Proposition~\ref{Piecewise.Linear.prop} below) that

31: $\|\hat{K_4}\|_{4/3} < 0.9658413$. Therefore, by Proposition~\ref{Cf.First.Result.prop}

32: we have

33:     $$\|\ff\|_2^2 \geq (0.9658413)^{-4} > \fstarftwonormconstant.$$

34: Using Lemma~\ref{Fourier.Connection.lem}, we now have $\De >

35: \frac12\e^2(\fstarftwonormconstant) > 0.574575 \e^2$.

36: \end{proof}

37: