AlextpЕсть такая функция Харди

, равная

, умноженной на некоторый множитель, модуль которого -- единица. Функция Харди вещественна, и ее нули ищутся по переменам знака, как у функций Бесселя, например. Есть формула Римана-Зигеля, позволяющая легко вычислить

с хорошей точностью. Но это при больших

, а при малых видимо пользуются точными формулами.