Fungrim entry: e68f82

\left(\operatorname{RH}\right) \iff \left(\lambda_{n} > 0 \;\text{ for all } n \in \mathbb{Z}_{\ge 1}\right)

References:

https://doi.org/10.1006/jnth.1997.2137

TeX:

\left(\operatorname{RH}\right) \iff \left(\lambda_{n} > 0 \;\text{ for all } n \in \mathbb{Z}_{\ge 1}\right)

Definitions:

Fungrim symbol	Notation	Short description
`RiemannHypothesis`	$\operatorname{RH}$	Riemann hypothesis
`KeiperLiLambda`	$\lambda_{n}$	Keiper-Li coefficient
`ZZGreaterEqual`	$\mathbb{Z}_{\ge n}$	Integers greater than or equal to n

Source code for this entry:

Entry(ID("e68f82"),
    Formula(Equivalent(RiemannHypothesis, All(Greater(KeiperLiLambda(n), 0), ForElement(n, ZZGreaterEqual(1))))),
    References("https://doi.org/10.1006/jnth.1997.2137"))

Topics using this entry

Riemann hypothesis
Keiper-Li coefficients

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC