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

missä alkulukufunktio π ilmaisee annettua lukua pienempien tai yhtäsuurten alkulukujen lukumääräja li on logaritminen integraalifunktio .

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
 
Tätä lukua kutsutaan myös Skewesin ensimmäiseksi luvuksi, jonka likiarvona käytetään lukua

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

Näitä ylärajoja on sittemmin saatu pienemmiksi Riemannin hypoteesia, Herman te Riele sai 1987 ylärajaksi
 
ja vielä paremman arvion   löysivät Carter Bays ja Richard H. Hudson vuonna 2000.

Lähteet 

Lukuteoria