В этой области ведется немало исследований. Весьма вероятно, что на самом деле π(x) = Li(x) + Ο(√x), что, возможно, и имел в виду Риман в своем замечании насчет «порядка величины». Однако мы ни в какой мере не близки к доказательству этого факта. Некоторые исследователи, между прочим, предпочитают обозначение Οε(x1/2+ε), чтобы подчеркнуть, что постоянная, подразумеваемая в определении О большого, зависит от ε. Если использовать это обозначение, то логика раздела 15.iii слегка изменяется. Заметим, что квадратный корень из N примерно в два раза короче (я имею в виду, что он содержит примерно в два раза меньше цифр), чем N. Отсюда следует (хотя я и не буду останавливаться ради подробного доказательства), что Li−1(N) дает для N-го простого числа правильный результат примерно до половины длины (примерно первая половина цифр оказывается правильной). Выражение Li−1(N) здесь надо понимать в смысле обратной функции, как в главе 13.ix, следующим образом: «число К, для которого Li(K) = N». Миллиардное простое, например, есть 22 801 763 489, a Li−1(1 000 000 000) равно 22 801 627 415, где мы видим пять, почти шесть правильных цифр из одиннадцати.
