Константа Легендреса - Википедия - Legendres constant

Первые 100000 элементов последовательности а_п = ln (п) − п/π(п) (красная линия) сходятся к значению около 1,08366 (синяя линия).

Последующие элементы до 10 000 000 той же последовательности а_п = ln (п) − п/π(п) (красная линия) постоянно меньше 1,08366 (синяя линия).

Постоянная Лежандра это математическая константа входящий в формулу, предполагаемую Адриан-Мари Лежандр захватить асимптотическое поведение из функция подсчета простых чисел ${ Displaystyle пи (х)}$ . Теперь известно, что его значение точно равно1.

Изучение имеющихся числовых свидетельств известных простые числа заставил Лежандра подозревать, что ${ Displaystyle пи (х)}$ удовлетворяет приближенной формуле.

Лежандр в 1808 г. предположил, что

{ displaystyle pi (x) = { frac {x} { ln (x) -B (x)}}}

куда ${ Displaystyle lim _ {х к infty} В (х) = 1,08366}$ ....OEIS: A228211^[1]

Или аналогично,

{ displaystyle lim _ {n to infty} left ( ln (n) - {n over pi (n)} right) = B}

куда B - постоянная Лежандра. Он догадался B около 1,08366, но независимо от его точного значения, наличие B подразумевает теорема о простых числах.

Пафнутый Чебышев доказано в 1849 г.^[2] что если предел B существует, оно должно быть равно 1. Более простое доказательство было дано Пинцем в 1980 г.^[3]

Это непосредственное следствие теорема о простых числах, в точном виде с явной оценкой погрешности

{ displaystyle pi (x) = { rm {Li}} (x) + O left (xe ^ {- a { sqrt { ln x}}} right) quad { text {as} } x to infty}

(для некоторой положительной постоянной а, куда О(…) это нотация большой O ), что было доказано в 1899 г. Шарль де ла Валле Пуссен,^[4] который B действительно равно 1. (Теорема о простых числах была доказана в 1896 году независимо Жак Адамар^[5] и Ла Валле Пуссен,^[6] но без какой-либо оценки вовлеченного члена ошибки).

Оценка такого простого числа сделала термин «константа Лежандра» в основном только исторической ценностью, при этом он часто (технически неправильно) использовался для обозначения первого предположения Лежандра 1.08366 ... вместо этого.

Пьер Дюзар доказано в 2010 году