Solution pour le challenge 10
Pour tout notons :
l’ensemble des diviseurs de
le nombre de diviseurs de
la somme des diviseurs de
L’application
est involutive (explication de ce terme); c’est donc une bijection.
Il s’ensuit que :
d’où l’on tire :
Or, il est connu que :
et donc
(1)
Par ailleurs :
et l’on sait que
Ainsi :
(2)
Enfin, tout entier possède au moins deux diviseurs (à savoir 1 et n), donc :
(2′)
En combinant les inégalités (1), (2) et (2′), on obtient l’encadrement demandé.
Pour consulter l’énoncé, c’est ici