Верхняя оценка модуля ζ-функции Римана на критической прямой

[Droog_Andrey]

$$\big|\zeta\big(\frac12+2\pi i t\big)\big|<e^{\sqrt{\log_2 t}}\text{ при } t > 1$$

Выполняется для всех известных точек, описываемых последовательностью A117536 (надо будет добавить туда новые члены, полученные из базы LMFDB), а также точек, полученных в этой работе. При этом оценку вряд ли можно улучшить, т.е. двойка в основании логарифма стоит неспроста. Доказать истинность оценки для всех $t > 1$ - сверхсложная задача, однако эвристика говорит о том, что сконструировать контрпример, по-видимому, также не получится.

Продолжение следует...

[makxsiq]

На первый взгляд, можно немного улучшить.

[Droog_Andrey]

makxsiq, проверьте окрестности $t=8701224737287972,552$ или $t = 56670472212045696,995$.

[makxsiq]

С козырей зашли. Ну я немного скорректировал первоначальный вариант.

[Droog_Andrey]

makxsiq, это то же самое, что заменить двойку в основании логарифма чуть большим числом. Но есть теоретические основания полагать, что эта константа таки равна двум.

[makxsiq]

Droog_Andrey в сообщении #1721760 писал(а):

$t=8701224737287972,552$ или $t = 56670472212045696,995$.

С другой стороны, при указанных $t$

$$\dfrac{|\zeta(\cdot)|}{e^{\sqrt{\log_2 t}}} \approx 0.75$$

и не похоже чтобы эта доля увеличивалась с ростом $t$.

[Droog_Andrey]

makxsiq, оценка делается не по двум точкам :)

[makxsiq]

Сложно что-то возразить с практической точки зрения.