Ramanujans primtal är en underföljd av primtal associerade med Ramanujans sats , som förfinar Bertrands postulat om fördelningsfunktionen för primtal .
1845 antog Bertrand det
för alla , var är fördelningsfunktionen för primtal lika med antalet primtal som inte överstiger . Denna hypotes bevisades av Chebyshev 1850. År 1919 bevisade Ramanujan, som noterade Chebyshevs prioritet, i en tvåsidig artikel en starkare sats, som definierar sekvensen av Ramanujans primtal: [1]
för alla respektive (sekvens A104272 i OEIS ).
Ett Ramanujan-primtal är det minsta heltal som gäller för någon
Enligt Ramanujans sats är denna skillnad inte mindre för alla och tenderar till oändlighet.
Det bör noteras att det nödvändigtvis är ett primtal: , och därför måste öka, vilket endast är möjligt om primtal.
Uppskattning med hjälp av elementära funktioner [2] :
Uppskattning med hjälp av primtal [2] [3] :
,var är det -te primtalet.
Asymptotik [2] :
påFörbättrad övre uppskattning [4] :
Alla dessa resultat har bevisats sedan 2008.