для всех , где — функция распределения простых чисел, равная числу простых не превосходящих .
Эта гипотеза была доказана Чебышёвым в 1850 году. В 1919 году Рамануджан, отметив приоритет Чебышёва, доказал в двухстраничной статье более сильную теорему, которая и задаёт последовательность простых чисел Рамануджана:[1]
для всех соответственно (последовательность A104272 в OEIS).
Определение
Простое число Рамануджана это наименьшее целое число, что для любого выполнено
Согласно теореме Рамануджана эта разность для всех не меньше и стремится к бесконечности.
Следует отметить, что обязательно является простым числом: , а следовательно и должно возрасти, что возможно только если простое.
↑Ramanujan, S. (1919), "A proof of Bertrand's postulate", Journal of the Indian Mathematical Society, 11: 181—182, Архивировано из оригинала26 мая 2018, Дата обращения: 11 июня 2019..