Število praštevil: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
m m+/dp/+p |
m m/dp/pnp |
||
Vrstica 21:
: <math> \lim_{x\rightarrow +\infty}\pi(x) / \operatorname{li}(x)=1 \!\, , </math>
kjer je <math>\operatorname{li} (x)\, </math> fukcija [[logaritemski integral|logaritemskega integrala]]. Praštevilski izrek sta leta 1896 neodvisno [[matematični dokaz|dokazala]] [[Jacques Salomon Hadamard|Hadamard]] in [[Charles-Jean de la Vallée Poussin|de la Vallée Poussin]] s pomočjo značilnosti [[Riemannova funkcija zeta|Riemannove funkcije ζ]], ki jo je uvedel [[Bernhard Riemann|Riemann]] leta 1859.
Znane so točnejše ocene za <math>\pi (x)\, </math>, kot je na primer:
| |||