Metadata
Author: WikiMatrix
Data
French[fr]
Son travail est remarquable pour l'utilisation de la fonction zêta ζ(s) (pour s réel, comme les travaux de Leonhard Euler, en 1737) précédant le célèbre mémoire de Riemann de 1859, et il réussit à prouver une forme légèrement plus faible du théorème, à savoir que si la limite de π(x)/(x/ln(x)) lorsque x tend vers l'infini existe, alors elle est nécessairement égale à 1 et en donnant par ailleurs un encadrement asymptotique de ce quotient entre deux constantes très proches de 1.
Portuguese[pt]
Seu trabalho é notável por usar a função zeta ζ(s) (para valores reais do argumento "s", como nas obras de Leonhard Euler, de 1737) precedendo o celebrado ensaio de Riemann de 1859, e ele obteve sucesso em provar uma forma ligeiramente mais fraca da lei assintótica, a saber, que se o limite de π(x)/(x/ln(x)) quando x vai ao infinito existe definitivamente,então ele é necessariamente igual a um.