Bertrandova domneva: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
m m/dp/pnp
m m/dp/pnp
Vrstica 3:
Domnevo je v celoti dokazal leta 1850 [[Pafnuti Lvovič Čebišov]] (1821 - 1894). Zato se postulat imenuje tudi '''izrek Bertrand-Čebišova''', oziroma '''izrek Čebišova'''. Čebišov je v svojem dokazu uporabil [[neenakost Čebišova]]. Bertrand je sam preveril svojo domnevo za vsa števila v intervalu [2, 3 · 10<sup>6</sup>].
 
[[Srinivasa Ajangar Ramanudžan]] (1887 - 1920) je leta 1919 dal enostavnejši [[matematični dokaz|dokaz]]&nbsp;[http://www.imsc.res.in/~rao/ramanujan/CamUnivCpapers/Cpaper24/page1.htm], iz katerega izhajajo [[RamanujanovoRamanudžanovo praštevilo|RamanujanovaRamanudžanova praštevila]]. Ramanudžan ni poznal predhodnega dela Čebišova. [[Paul Erdős]] (1913 - 1996) je leta 1932 objavil podoben [[dokaz Bertrandove domneve|zelo enostaven dokaz]], kjer je uporabil funkcijo θ(''x''), določeno kot:
 
: <math> \theta(x) \equiv \sum_{p=2}^{x} \ln p \,\! , </math>