In mathematics, the Lindelöf hypothesis is a conjecture by Finnish mathematician Ernst Leonard Lindelöf (see ) about the rate of growth of the Riemann zeta function on the critical line. This hypothesis is implied by the Riemann hypothesis. It says that for any ε > 0, as t tends to infinity (see big O notation). Since ε can be replaced by a smaller value, the conjecture can be restated as follows: for any positive ε, The μ function If σ is real, then μ(σ) is defined to be the infimum of all real numbers a such that ζ(σ + iT ) = O(T a). It is trivial to check that μ(σ) = 0 for σ > 1, and the functional equation of the zeta function implies that μ(σ) = μ(1 − σ) − σ + 1/2. The Phragmén–Lindelöf theorem implies that μ is a convex function. The Lindelöf hypothesis states μ(1/2) = 0, which together with the above properties of μ implies that μ(σ) is 0 for σ ≥ 1/2 and 1/2 − σ for σ ≤ 1/2. Lindelöf's convexity result together with μ(1) = 0 and μ(0) = 1/2 implies that 0 ≤ μ(1/2) ≤ 1/4. The upper bound of 1/4 was lowered by Hardy and Littlewood to 1/6 by applying Weyl's method of estimating exponential sums to the approximate functional equation. It has since been lowered to slightly less than 1/6 by several authors using long and technical proofs, as in the following table: Relation to the Riemann hypothesis (1918–1919) showed that the Lindelöf hypothesis is equivalent to the following statement about the zeros of the zeta function: for every ε > 0, the number of zeros with real part at least 1/2 + ε and imaginary part between T and T + 1 is o(log(T)) as T tends to infinity. The Riemann hypothesis implies that there are no zeros at all in this region and so implies the Lindelöf hypothesis. The number of zeros with imaginary part between T and T + 1 is known to be O(log(T)), so the Lindelöf hypothesis seems only slightly stronger than what has already been proved, but in spite of this it has resisted all attempts to prove it. Means of powers (or moments) of the zeta function The Lindelöf hypothesis is equivalent to the statement that for all positive integers k and all positive real numbers ε. This has been