La somme des diviseurs d'un entier naturel n supérieur à 1 est comprise entre n+1 et n(n+1)/2. Cet encadrement est grossier et peut être considérablement amélioré : c'est l'objet du challenge n° 10 de Math-OS.