## You are here

Homeextraordinary number

## Primary tabs

# extraordinary number

Define the function $G$ for integers $n>1$ by

$G(n)\;:=\;\frac{\sigma(n)}{n\ln(\ln{n})},$ |

where $\sigma(n)$ is the sum of the positive divisors of $n$. A positive integer $N$ is said to be an extraordinary number if it is composite and

$G(N)\;\geq\;\max\{G(N/p),\,G(aN)\}$ |

for any prime factor $p$ of $N$ and any multiple $aN$ of $N$.

It has been proved in [1] that the Riemann Hypothesis is true iff 4 is the only extraordinary number. The proof is based on Gronwall’s theorem and Robin’s theorem.

# References

- 1
Geoffrey Caveney, Jean-Louis Nicolas, Jonathan Sondow: Robin’s theorem, primes, and a new elementary reformulation of the Riemann Hypothesis. $-$
*Integers*11 (2011) article A33; available directly at arXiv.

Keywords:

sum of divisors, Riemann Hypothesis

Related:

PropertiesOfXiFunction

Major Section:

Reference

Type of Math Object:

Definition

Parent:

## Mathematics Subject Classification

11M26*no label found*11A25

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia