Ero sivun ”Alkulukufunktio” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
''Littlewoodin lause', otettu ruotsinkielisestä wikipediasta |
p kh |
||
Rivi 15:
== Littlewoodin lause ==
[[John Littlewood]] todisti 1914 että on olemassa mielivaltaisen suuria lukuja ''x'',
:<math>\pi(x)>\operatorname{Li}(x) +\frac13\frac{\sqrt x}{\log x}\log\log\log x</math>
ja mielivaltaisen suuria lukuja ''x'',
:<math>\pi(x)<\operatorname{Li}(x) -\frac13\frac{\sqrt x}{\log x}\log\log\log x.</math>
Tästä seuraa että erotuksen π(''x'') − Li(''x'') merkki vaihtuu äärettömän usein.
| |||