Я бы с осторожностью относился к таким "доверительным" интервалам.
В теории чисел вообще туго с численными оценками тех или иных констант.
Например, в оценке:
.
Нигде не найти достоверной оценки такого
хотя бы для некоторых
и
, что для всех
справедливо
.
Но не это отвратительно. Что выводит меня из себя (и хочеться ругаться неприличными словами), так когда эти с позволения сказать авторы приводят подобную константу, но не указывают интервал ее справедливости - доказана ли ее справедливость на бесконечном интервале
, или она только проверена для чисел не превышающих некоторое большое
? Поди гадай...
Вот к примеру, на
http://primes.utm.edu/howmany.shtmlесть такие оценки:
:
;
:
;
:
;
:
;
:
.
Про верхнюю границу для
и
не сказано ничего, но я уверен, что эти оценки только проверены для достаточно большого
и
, и не более.
Так как
бесконечномалое относительно любого
, то асимптотическое разложение
есть
,
откуда, обращая, можно получить асимптотическое разложение
,
где
и
.
Для всякого
(
) можно подобрать доверительный интервал
для коэффициентов при остаточных членах этих разложений:
для
:
и при
будет
, очевидно также
;
для
:
и при
будет
, очевидно также
.