Soit
La démonstration de Hadamard et La Vallée Poussin utilise principalement les propriétés de la fonction zêta de Riemann et donc l’analyse complexe. Ce n'est qu'en 1949 qu'Erdős et Selberg publièrent indépendamment la première démonstration élémentaire (utilisant uniquement l’analyse réelle) du théorème des nombres premiers. Dans cet exposé, nous présenterons le développement historique des démonstrations élémentaires du théorème des nombres premiers puis nous donnerons une version effective du théorème des nombres premiers de Lu qui, à ce jour, donne le meilleur terme d'erreur en utilisant des méthodes élémentaires.
Régis de la Bretèche
Cathy Swaenepoel