Praštevilski izrek: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
Vrstica 462:
Prva neenakost velja za vse ''ξ'' ≥ 599, druga pa za vse ''ξ'' ≥ 355991<ref>{{sktxt|Dusart|1998}}.</ref>.
Šibkejša, vendar včasih uporabna meja, je:
: <math> \frac {\xi}{\ln \xi + 2} < \pi(\xi) < \frac {\xi}{\ln \xi - 4} \!\, </math>
za ''ξ'' ≥ 55.<ref>{{sktxt|Rosser|1941}}.</ref> V Dusartovi disertaciji je moč najti malce močnejšo različico takšne neenakosti, ki velja za velike ''ξ''.
Dokaz de la Vallée-Poussina nakazuje naslednje. Za vsak ε > 0 obstaja takšen ''S'', da za vse ''x'' > ''S'' velja:
: <math> \frac {\xi}{\ln \xi - (1-\varepsilon)} < \pi(\xi) < \frac {\xi}{\ln \xi - (1+\varepsilon)} \!\, . </math>
== Približki za ''n''-to praštevilo ==
| |||