text: Робин доказал, что неравенство σ ( 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 без каких-либо дополнительных условий.