A finite arithmetic form of Robin's inequality and its equivalence to the Riemann hypothesis
En palabras de los autores
Robin's inequality reformulates the Riemann hypothesis as a bound on the sum-of-divisors function . We introduce a finite-truncation version of Robin's inequality determined intrinsically by the arithmetic structure of , \[ \frac{\sigma(n)}{n} < e^\gamma \sum_{j=0}^{\omega(n)} \frac{(\ln\ln\ln n)^j}{j!}, \qquad n>5040, \] where denotes the number of distinct prime factors of , and is the Euler-Mascheroni constant. The resulting bound is pointwise stronger than Robin's inequality and we prove it unconditionally for integers with , primorials, odd integers and square-free integers. We also prove that this inequality is equivalent to Robin's inequality, and hence to the Riemann hypothesis. Consequently, the Riemann hypothesis is equivalent to the truncated inequality holding for all colossally abundant numbers. We further show that if the inequality fails, its minimal counterexample must be a superabundant number, placing any obstruction within a rigid extremal class of integers.
Apareció: miércoles, 23 de septiembre. arXiv. Preprint, todavía sin revisión por pares.
Comentario de los autores: 21 pages and 1 figure