\begin{equation}
\sigma(n) < e^\gamma n \log \log n
\end{equation}


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).



> 
> I could not get a hold of his paper. I am trying to understand how did he derived the inequality. Can anyone can outline the steps, how Robin derived this criterion?
> 
> 
> 



On Robin's criterion for RH
I have requested [a pdf of Robin 1984](http://zakuski.utsa.edu/%7Ejagy/Robin_1984.pdf) from campus scanning service. One highlight of the article that really should be mentioned is this:


For $n \geq 3,$ we have
$$ \sigma(n) \; < \; \; e^\gamma \; n \log \log n \; + \; \frac{ \; 0.64821364942... \; \; n \; }{\log \log n},$$ with the constant in the numerator giving equality for $n=12.$


see:  

[Which $n$ maximize $G(n)=\frac{\sigma(n)}{n \log \log n}$?](https://mathoverflow.net/questions/79927/which-n-maximize-gn-frac-sigmann-log-log-n/79987#79987)


That, at least, rests on effective bounds of Rosser and Schoenfeld (1962), which can be downloaded from [ROSSER](https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-6/issue-1/Approximate-formulas-for-some-functions-of-prime-numbers/10.1215/ijm/1255631807.full)


Well, maybe not so directly. R+S do the unconditional bound for $n/\phi(n)$ in Theorem 15, pages 71-72, formulas (3.41) and (3.42). The treatment for $\sigma(n)$ is quite similar in spirit, maybe Robin was the first to write it down. The analogue of the primorials [PRIMO](https://oeis.org/A002110) and $n^{1-\delta}/\phi(n)$ is the colossally abundant [CA](https://oeis.org/A004490) numbers and $\sigma(n)/ n^{1 + \delta}.$


Well, I am not sure where it is written down, but it is easy enough to show that the maximum value, for some $0 < \delta \leq 1, $ of
$$ \frac{ n^{1-\delta}}{\phi(n)} $$
occurs when the prime factor $p$ of $n$ has exponent
$$ v\_p(n) = \left \lfloor \frac{p^{1-\delta}}{p-1} \right \rfloor.$$
Since, for a fixed $\delta,$ this expression is either 0 or 1 and nonincreasing in $p,$ it turns out that the optima occur at the primorials, the products of the consecutive primes from 2 to something...


From Alaoglu and Erdos,
the maximum value, for some $0 < \delta \leq 1, $ of
$$ \frac{\sigma(n)}{ n^{1+\delta}} $$
occurs when the prime factor $p$ of $n$ has exponent
$$ v\_p(n) = \left\lfloor \frac{\log (p^{1 + \delta} - 1) - \log(p^\delta - 1)}{\log p} \right\rfloor \; - \; 1. $$  

This is Theorem 10 on page 455. The results of this construction are the colossally abundant numbers. The construction is originally due to Ramanujan, but the part of his manuscript that dealt with ca numbers was not printed owing to paper shortages at the time.


Hardy and Wright use $d(n)$ for the number of divisors of $n.$ This is in the original paper by Ramanujan. For some $0 < \delta \leq 1, $ the maximum of $$ \frac{d(n)}{ n^{\delta}} $$ occurs when the prime factor $p$ of $n$ has exponent
$$ v\_p(n) = \left\lfloor \frac{1}{p^\delta - 1} \right\rfloor. $$ The results are called the superior highly composite numbers [SHC](https://oeis.org/A002201).


So, taking all three with $\delta = 1/2,$ we get lemmas
$$ \phi(n) \geq \sqrt{\frac{n}{2}}, \; \; d(n) \leq \sqrt{3n}, \; \; \sigma(n) \leq 3 \left( \frac{n}{2} \right)^{3/2}. $$


In all three cases, if $\delta$ is such that more than one number $n$ achieves the maximum value of the ratio specified, we are choosing the largest of these $n$'s.


