Дзета-функция - аналог дзета-функции Эйлера на комплексной плоскости.
Дзета-функция Эйлера дает значения суммы ряда для различных точек

:

Есть формула суммы такого ряда. Причем для положительных точек формула одна, для отрицательных - другая. Соотношение этих двух формул и есть функциональное соотношение дзета-функции.
Так вот, если рассмотреть разность между количеством простых, не больших

и соотношением

, то это отклонение как раз таки и определяется дзета-функцией Римана. А точнее, вещественной частью ее НЕтривиальных нулей. Ну и собственно, по гипотезе Римана все эти вещественные части равны

.
Т.е. все нетривиальные нули дзета-функции лежат в комплексной плоскости на 1/2.
Что такое нетривиальные нули. Формула, по которой считается значение дзета-функции, содержит т.н. числа Бернулли

(относящихся к суммам одинаковых степеней натуральных чисел) которые определяются через некоторое функциональное соотношение

. Из того, что эта функция - четная, следует, что все числа Бернулли

. Т.е. все нечетные числа Бернулли равны нулю.
Они же зануляют и дзета-функцию в нечетных точках. Т.е.

Нетривиальные нули - это тоже точки, в которых дзета-функция равна нулю. Но отличные от четных чисел.
Т.е. отклонение

- точного количества простых чисел, от теоретического, предсказанного соотношением

определяется именно нетривиальными нулями дзета-функции.

где

- вещественная часть нетривиальных нули дзета-функции Римана.