OFFSET
1,4
COMMENTS
LINKS
Eric Weisstein's World of Mathematics, Robin's Theorem.
Wikipedia, Riemann hypothesis.
FORMULA
Equals 403 / (exp(gamma) * 105 * log(log(5040))).
EXAMPLE
sigma(5040) / (exp(gamma) * 5040 * log(log(5040))) = 1.00555898145672010364... > 1.
MATHEMATICA
RealDigits[DivisorSigma[-1, 5040] / (Exp[EulerGamma] * Log[Log[5040]]), 10, 120][[1]] (* Amiram Eldar, Jun 19 2023 *)
PROG
(PARI) sigma(5040) / (exp(Euler) * 5040 * log(log(5040)))
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Jianing Song, Sep 24 2022
STATUS
approved