Skewesin luku

Skewesin luku viittaa lukuteoriassa esiintyviin erittäin suuriin lukuihin, jotka on nimetty eteläafrikkalaisen matemaatikon Stanley Skewesin mukaan. Nämä luvut ovat ylärajoja pienimmälle luonnolliselle luvulle x , jolle

$\pi (x)-\operatorname {li} (x)>0$

missä alkulukufunktio π ilmaisee annettua lukua pienempien tai yhtäsuurten alkulukujen lukumääräja li on logaritminen integraalifunktio $\mathrm {Li} (x)=\int _{2}^{x}{\frac {\mathrm {d} t}{\ln t}}$.

Historia

Stabley Skewesin opettaja, John Edensor Littlewood, todisti vuonna 1914, että kyseinen luku on olemassa, sekä huomasi sen, että erotuksen π(x) − li(x) etumerkki vaihtuu äärettömän monta kertaa. Siihen asti kaikki saatavilla oleva tieto näytti viittavan, että π(x) on aina vähemmän kuin li(x). Lausekkeen todistukselle on kaksi vaihtoehtoa: joko oletetaan Riemannin hypoteesin olevan epätosi, tai vaikeammassa todistuksessa, että se on tosi.

Skewes todisti 1933 että, jos oletetaan Riemannin hypoteesin olevan tosi, on olemassa luku x, joka on pienempi kuin

$e^{e^{e^{79}}}$

Tätä lukua kutsutaan myös Skewesin ensimmäiseksi luvuksi, jonka likiarvona käytetään lukua

$10^{10^{10^{34}}}.$

Vuonna 1955 pystyttiin todistamaan ilman Riemannin hypoteesia, että on olemassa luku x, joka on pienempi kuin

$10^{10^{10^{963}}}$.

Näitä ylärajoja on sittemmin saatu pienemmiksi Riemannin hypoteesia, Herman te Riele sai 1987 ylärajaksi

$7\times 10^{370}\$

ja vielä paremman arvion $1.39822\times 10^{316}$ löysivät Carter Bays ja Richard H. Hudson vuonna 2000.