In mathematics, the Lindelöf hypothesis is a conjecture by Finnish mathematician Ernst Leonard Lindelöf 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,
formula_1
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 "ε",
formula_2
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.
Backlund (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
formula_3
for all positive integers "k" and all positive real numbers ε. This has been proved for "k" = 1 or 2, but the case "k" = 3 seems much harder and is still an open problem.
There is a much more precise conjecture about the asymptotic behavior of the integral: it is believed that
formula_4
for some constants "c""k","j"&amp;hairsp;. This has been proved by Littlewood for "k" = 1 and by Heath-Brown for "k" = 2 
(extending a result of Ingham who found the leading term).
Conrey and Ghosh suggested the value 
formula_5 
for the leading coefficient when "k" is 6, and Keating and Snaith used random matrix theory to suggest some conjectures for the values of the coefficients for higher "k". The leading coefficients are conjectured to be the product of an elementary factor, a certain product over primes, and the number of "n" × "n" Young tableaux given by the sequence
1, 1, 2, 42, 24024, 701149020, ... (sequence in the OEIS).
Other consequences.
Denoting by "p""n" the "n"-th prime number, let formula_6 A result by Albert Ingham shows that the Lindelöf hypothesis implies that, for any "ε"  ; 0,
formula_7
if "n" is sufficiently large.
A prime gap conjecture stronger than Ingham's result is Cramér's conjecture, which asserts that 
formula_8
The density hypothesis.
The density hypothesis says that formula_9, where formula_10 denote the number of zeros formula_11 of formula_12with formula_13 and formula_14, and it would follow from the Lindelöf hypothesis.
More generally let formula_15 then it is known that this bound roughly correspond to asymptotics for primes in short intervals of length formula_16.
Ingham showed that formula_17 in 1940, Huxley that formula_18 in 1971, and Guth and Maynard that formula_19 in 2024 (preprint) and these coincide on formula_20, therefore the latest work of Guth and Maynard gives the closest known value to formula_21 as we would expect from the Riemann hypothesis and improves the bound to formula_22 or equivalently the asymptotics to formula_23.
In theory improvements to Baker, Harman, and Pintz estimates for the Legendre conjecture and better Siegel zeros free regions could also be expected among others.
L-functions.
The Riemann zeta function belongs to a more general family of functions called L-functions.
In 2010, new methods to obtain sub-convexity estimates for L-functions in the PGL(2) case were given by Joseph Bernstein and Andre Reznikov and in the GL(1) and GL(2) case by Akshay Venkatesh and Philippe Michel and in 2021 for the GL("n") case by Paul Nelson.
Notes and references.
 ;templatestyles src="Reflist/styles.css" / ;