Формула Римана — фон Мангольдта — выражение, описывающее распределение нулей дзета-функции Римана; число нулей дзета-функции с мнимой частью большей 0 и не превосходящей заданное число удовлетворяет следующему соотношению:

.

Впервые дана Риманом в работе (1859), окончательно доказана Мангольдтом в 1905 году.

В 1918 году финский математик Йозеф Беклунд (; 1888—1949) вывел явную оценку ошибки для всех :

.

Примечания

Литература

Категория:Теоремы аналитической теории чисел