Гипотеза Фирузбахт

Гипо́теза Фиру́збахтШаблон:SfnШаблон:Sfn — недоказанная математическая гипотеза о распределении простых чисел. Гипотеза носит имя иранского математика Фа́риде Фиру́збахт (1962—2019) из университета в Исфахане, которая высказала её в 1982 году.
Утверждение гипотезы
Гипотеза утверждает, что (где — Шаблон:Math-е простое число) является строго убывающей функцией от Шаблон:Math, то есть
- для всех
Эквивалентно:
- для всех
см. последовательности Шаблон:OEIS2C, Шаблон:OEIS2C.
Подтверждение гипотезы
Используя таблицу максимальных интервалов, Фариде Фирузбахт проверила свою гипотезу до 4,444Шаблон:EШаблон:Sfn. С расширенной таблицей максимальных промежутков гипотеза была проверена для всех простых чисел до [1]Шаблон:Sfn.
Связь с другими гипотезами
Если гипотеза верна, то функция интервалов между простыми числами должна удовлетворять неравенствуШаблон:Sfn
- для всех
Более тогоШаблон:Sfn,
- для всех
см. также последовательность Шаблон:OEIS2C. Гипотеза находится среди наиболее сильных гипотез о верхних границах для интервалов между простыми числами, она даже несколько сильнее гипотез Крамера и ШенксаШаблон:Sfn. Из гипотезы вытекает сильная форма гипотезы Крамера, а потому она несовместима с эвристикой Гранвилла, ПинтцаШаблон:SfnШаблон:SfnШаблон:Sfn и МайераШаблон:SfnШаблон:Sfn, в которой предполагается, что
встречается бесконечно много раз для любого где означает константу Эйлера — Маскерони.
Две связанные гипотезы (см. комментарии к последовательности Шаблон:OEIS2C)
которая несколько слабее, и
- для всех
которая сильнее.
См. также
Ссылки
Литература
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Cite web
- Шаблон:E-print
- Шаблон:Статья
Примечания
Шаблон:Гипотезы о простых числах Шаблон:Классы простых чисел Шаблон:Rq