Développement : Théorème de Hardy-Ramanujan

Détails/Enoncé :

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)}$.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Versions :

Références utilisées dans les versions de ce développement :