Solution (source code)

= Solution

The <Riemann hypothesis> says that every <Nontrivial zero of the Riemann zeta function> of $\zeta$ has real part $1/2$. The <Lindelöf hypothesis> says that, for every $\varepsilon>0$,
$$
|\zeta(1/2+it)|\ll_\varepsilon(1+|t|)^\varepsilon.
$$
The exponent may be arbitrarily small; the implied constant may depend on that exponent. The next part proves the implication from the first hypothesis to the second.