Ramanujanova prvočísla jsou podsekvencí prvočísel spojených s Ramanujanovou větou , která zpřesňuje Bertrandův postulát o distribuční funkci prvočísel .
V roce 1845 to předpokládal Bertrand
pro všechny , kde je distribuční funkce prvočísel rovna počtu prvočísel nepřesahujících . Tuto hypotézu potvrdil Čebyšev v roce 1850. V roce 1919 Ramanujan, který si všiml priority Čebyševa, dokázal ve dvoustránkovém článku silnější teorém, který definuje posloupnost Ramanujanových prvočísel: [1]
pro všechny (sekvence A104272 v OEIS ).
Ramanujanovo prvočíslo je nejmenší celé číslo, které platí pro jakékoli
Podle Ramanujanovy věty není tento rozdíl pro každého menší a směřuje k nekonečnu.
Je třeba poznamenat, že je nutně prvočíslo: , a proto se musí zvětšit, což je možné pouze tehdy, je-li prvočíslo.
Odhad pomocí elementárních funkcí [2] :
Odhad pomocí prvočísel [2] [3] :
,kde je -té prvočíslo.
Asymptotika [2] :
vVylepšený horní odhad [4] :
Všechny tyto výsledky byly prokázány od roku 2008.