Простые числа Рамануджана


Простые числа Рамануджана — подпоследовательность простых чисел, связанная с теоремой Рамануджана, уточняющей постулат Бертрана относительно функции распределения простых чисел.

для всех , где  — функция распределения простых чисел, равная числу простых не превосходящих . Эта гипотеза была доказана Чебышёвым в 1850 году. В 1919 году Рамануджан, отметив приоритет Чебышёва, доказал в двухстраничной статье более сильную теорему, которая и задаёт последовательность простых чисел Рамануджана:[1]

для всех соответственно (последовательность A104272 в OEIS).

Простое число Рамануджана это наименьшее целое число, что для любого выполнено

Согласно теореме Рамануджана эта разность для всех не меньше и стремится к бесконечности.

Следует отметить, что обязательно является простым числом: , а следовательно и должно возрасти, что возможно только если простое.