Approximate Growth Rate
In little-o notation, the divisor function satisfies the inequality (see page 296 of Apostol’s book)
More precisely, Severin Wigert showed that
On the other hand, since there are infinitely many prime numbers,
In Big-O notation, Dirichlet showed that the average order of the divisor function satisfies the following inequality (see Theorem 3.3 of Apostol’s book)
where is Euler's constant. Improving the bound in this formula is known as Dirichlet's divisor problem
The behaviour of the sigma function is irregular. The asymptotic growth rate of the sigma function can be expressed by:
where lim sup is the limit superior. This result is Grönwall's theorem, published in 1913 (Grönwall 1913). His proof uses Mertens' 3rd theorem, which says that
where p denotes a prime.
In 1915, Ramanujan proved that under the assumption of the Riemann hypothesis, the inequality:
- (Robin's inequality)
holds for all sufficiently large n (Ramanujan 1997). In 1984 Guy Robin proved that the inequality is true for all n ≥ 5,041 if and only if the Riemann hypothesis is true (Robin 1984). This is Robin's theorem and the inequality became known after him. The largest known value that violates the inequality is n=5,040. If the Riemann hypothesis is true, there are no greater exceptions. If the hypothesis is false, then Robin showed there are an infinite number of values of n that violate the inequality, and it is known that the smallest such n ≥ 5,041 must be superabundant (Akbary & Friggstad 2009). It has been shown that the inequality holds for large odd and square-free integers, and that the Riemann hypothesis is equivalent to the inequality just for n divisible by the fifth power of a prime (Choie et al. 2007).
A related bound was given by Jeffrey Lagarias in 2002, who proved that the Riemann hypothesis is equivalent to the statement that
for every natural number n, where is the nth harmonic number, (Lagarias 2002).
Robin also proved, unconditionally, that the inequality
holds for all n ≥ 3.
Read more about this topic: Divisor Function
Famous quotes containing the words approximate, growth and/or rate:
“All fashions are charming, or rather relatively charming, each one being a new striving, more or less well conceived, after beauty, an approximate statement of an ideal, the desire for which constantly teases the unsatisfied human mind.”
—Charles Baudelaire (1821–1867)
“A revolution is not the overturning of a cart, a reshuffling in the cards of state. It is a process, a swelling, a new growth in the race. If it is real, not simply a trauma, it is another ring in the tree of history, layer upon layer of invisible tissue composing the evidence of a circle.”
—Kate Millett (b. 1934)
“If you could choose your parents,... we would rather have a mother who felt a sense of guilt—at any rate who felt responsible, and felt that if things went wrong it was probably her fault—we’d rather have that than a mother who immediately turned to an outside thing to explain everything, and said it was due to the thunderstorm last night or some quite outside phenomenon and didn’t take responsibility for anything.”
—D.W. Winnicott (20th century)