Fungrim home page

Fungrim entry: 3142ec

(RH)    (for all nZ5041,σ1 ⁣(n)<eγnlog ⁣(log(n)))\left(\operatorname{RH}\right) \iff \left(\text{for all } n \in \mathbb{Z}_{\ge 5041}, \,\, \sigma_{1}\!\left(n\right) < {e}^{\gamma} n \log\!\left(\log(n)\right)\right)
\left(\operatorname{RH}\right) \iff \left(\text{for all } n \in \mathbb{Z}_{\ge 5041}, \,\, \sigma_{1}\!\left(n\right) < {e}^{\gamma} n \log\!\left(\log(n)\right)\right)
Fungrim symbol Notation Short description
RiemannHypothesisRH\operatorname{RH} Riemann hypothesis
ZZGreaterEqualZn\mathbb{Z}_{\ge n} Integers greater than or equal to n
DivisorSigmaσk ⁣(n)\sigma_{k}\!\left(n\right) Sum of divisors function
Expez{e}^{z} Exponential function
ConstGammaγ\gamma The constant gamma (0.577...)
Loglog(z)\log(z) Natural logarithm
Source code for this entry:
    Formula(Equivalent(RiemannHypothesis, ForAll(n, Element(n, ZZGreaterEqual(5041)), Less(DivisorSigma(1, n), Mul(Mul(Exp(ConstGamma), n), Log(Log(n))))))))

Topics using this entry

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

2019-11-11 15:50:15.016492 UTC