Robin also proved, unconditionally, that the inequality:   σ ( n ) < e γ n log ⁡ log ⁡ n + 0.6483   n log ⁡ log ⁡ n {\displaystyle \ \sigma (n)<e^{\gamma }n\log \log n+{\frac {0.6483\ n}{\log \log n}}} holds for all n ≥ 3.
Робин доказал, что неравенство   σ ( n ) < e γ n log ⁡ log ⁡ n + 0.6483   n log ⁡ log ⁡ n {\displaystyle \ \sigma (n)<e^{\gamma }n\log \log n+{\frac {0.6483\ n}{\log \log n}}} выполняется для n ≥ 3 без каких-либо дополнительных условий.