Primele Ramanujan sunt o subsecvență de numere prime asociate cu teorema lui Ramanujan , care rafinează postulatul lui Bertrand despre funcția de distribuție a primelor .
În 1845, Bertrand a emis ipoteza că
pentru toți , unde funcția de distribuție a primelor este egală cu numărul de prime care nu depășește . Această ipoteză a fost dovedită de Cebyshev în 1850. În 1919, Ramanujan, observând prioritatea lui Cebyshev, a demonstrat într-un articol de două pagini o teoremă mai puternică, care definește succesiunea primelor Ramanujan: [1]
pentru toți respectiv (secvența A104272 în OEIS ).
Un prim Ramanujan este cel mai mic număr întreg care este valabil pentru oricare
Conform teoremei Ramanujan, această diferență nu este mai mică pentru toată lumea și tinde spre infinit.
Trebuie remarcat că este în mod necesar un număr prim: , și, prin urmare, trebuie să crească, ceea ce este posibil numai dacă prim.
Estimarea prin intermediul funcțiilor elementare [2] :
Estimarea cu ajutorul numerelor prime [2] [3] :
,unde este al-lea număr prim.
Asimptotice [2] :
laEstimare superioară îmbunătățită [4] :
Toate aceste rezultate au fost dovedite din 2008.