The Riemann hypothesis says that every Nontrivial zero of the Riemann zeta function of has real part . The Lindelöf hypothesis says that, for every ,
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.
The subpower zeta bound to the right of the critical line gives an arbitrarily small exponent at . The functional equation gives exponent at . The Phragmén–Lindelöf principle gives exponent at the midpoint. Letting these fixed positive parameters be arbitrarily small proves the Lindelöf hypothesis.