1: \begin{proof}

2: By Lemma \ref{lem:wollust}, $|g(t)|\leq 7.87052$. Since $y\geq 4$, 

3: $k(t)\cdot (4 \log 2)/\log y \leq 6$. 

4: For any complex numbers $z_1$, $z_2$ with $|z_1|, |z_2|\leq \ell$,

5:  we can have $|z_1 - z_2|> \ell$ only if $|\arg(z_1/z_2)|> \pi/3$.

6: It is easy to check that, for all $t\in \lbrack -2,2\rbrack$,

7: \[\left|\arg\left(\frac{g(t) \cdot \log y}{4 \log 2 \cdot k(t)}\right)\right|

8: = \left|\arg\left(\frac{g(t)}{k(t)}\right)\right| < 0.7 < \frac{\pi}{3} .\]

9: (It is possible to bound maxima rigorously as in (\ref{eq:elek1}).)

10: Hence (\ref{eq:gotora}) holds.

11: %Thanks to Lemma \ref{lem:wollust},

12: %we can immediately conclude that 

13: \end{proof}

14: