Théorème de Hardy-Ramanujan

Le but est de prouver que le nombre de diviseur premier pour les entiers entre $1$ et $n$ est en moyenne $\log\log(n)$, et se concentre autour de cette valeur avec un écart-type de l'ordre de $\sqrt{\log\log(n)}$.