Bonjour à tous,
Devant faire un exposé sur les nombres premiers et notamment la fonction ;)(x) qui représente la fonction de compte des nombres premiers, je suis tombé sur la page wikipédia très bien renseignée !!
Pour résumé, il est dit que cette fonction est proche de x/ln(x) pour des x grands mais plus proche du logarithme intégral li(x) qui n'est entre autre que :
intégrale de 0 à x de dt/ln(t)
Sur la page wiki des valeurs de li(x) sont données pour x allant de 10 à 1.10... mais je n'arrive pas à les retrouver par le calcul et malgré beaucoup de recherches, impossible de retrouver comment calculer li(25) par exemple ou li(1000).
Est-ce impossible ?
Merci pour vos réponses...