es cierto para cualquier número entero "n" ≥ 1 con la desigualdad estricta si "n" > 1; Aquí σ("n") denota la suma de los divisores de "n".