Я бы с осторожностью относился к таким "доверительным" интервалам.
В теории чисел вообще туго с численными оценками тех или иных констант.
Например, в оценке:
![$\pi(x)=Li(x)+O(xe^{-a\sqrt{\ln(x)}})=Li(x)+C\theta xe^{-a\sqrt{\ln(x)}}$ $\pi(x)=Li(x)+O(xe^{-a\sqrt{\ln(x)}})=Li(x)+C\theta xe^{-a\sqrt{\ln(x)}}$](https://dxdy-03.korotkov.co.uk/f/2/2/3/2235d00cd29457a9de5a0d3c778d32c382.png)
.
Нигде не найти достоверной оценки такого
![$x_0=x_0(a,C)$ $x_0=x_0(a,C)$](https://dxdy-03.korotkov.co.uk/f/2/9/6/2960011033ef212b7df54f5690f7114182.png)
хотя бы для некоторых
![$a>a_0>0$ $a>a_0>0$](https://dxdy-01.korotkov.co.uk/f/c/6/6/c66b49c5b473b6458808838b63b869d782.png)
и
![$C>0$ $C>0$](https://dxdy-03.korotkov.co.uk/f/a/0/c/a0c7601b9316db04a12ae5b1d902a1eb82.png)
, что для всех
![$x\geqslant x_0$ $x\geqslant x_0$](https://dxdy-04.korotkov.co.uk/f/3/c/3/3c311c8409c58389978a937291cf310c82.png)
справедливо
![$\theta\in[-1,1]$ $\theta\in[-1,1]$](https://dxdy-01.korotkov.co.uk/f/8/6/0/860d610b6844c43ab0f2c86cafa0f29782.png)
.
Но не это отвратительно. Что выводит меня из себя (и хочеться ругаться неприличными словами), так когда эти с позволения сказать авторы приводят подобную константу, но не указывают интервал ее справедливости - доказана ли ее справедливость на бесконечном интервале
![$[x_0,\infty)$ $[x_0,\infty)$](https://dxdy-04.korotkov.co.uk/f/7/f/c/7fcfd95c5087fc999dc96f58d1be763f82.png)
, или она только проверена для чисел не превышающих некоторое большое
![$N$ $N$](https://dxdy-04.korotkov.co.uk/f/f/9/c/f9c4988898e7f532b9f826a75014ed3c82.png)
? Поди гадай...
Вот к примеру, на
http://primes.utm.edu/howmany.shtmlесть такие оценки:
![$x>598$ $x>598$](https://dxdy-03.korotkov.co.uk/f/e/0/1/e01c187cf54c8a1cf818fa8c7405e1f782.png)
:
![$\frac{x}{\ln(x)}\left(1+\frac{0.992}{\ln(x)}\right)<\pi(x)<\frac{x}{\ln(x)}\left(1+\frac{1.2762}{\ln(x)}\right)$ $\frac{x}{\ln(x)}\left(1+\frac{0.992}{\ln(x)}\right)<\pi(x)<\frac{x}{\ln(x)}\left(1+\frac{1.2762}{\ln(x)}\right)$](https://dxdy-03.korotkov.co.uk/f/2/8/5/28505041999fcaf5db7e5858d6516cdd82.png)
;
![$n>8601$ $n>8601$](https://dxdy-01.korotkov.co.uk/f/0/c/9/0c94602b1ef69ab4e2c13906a77279ff82.png)
:
![$n\left(\ln(n)+\ln(\ln(n))-1.0073)<p(n)<n(\ln(n)+\ln(\ln(n))-0.9385\right)$ $n\left(\ln(n)+\ln(\ln(n))-1.0073)<p(n)<n(\ln(n)+\ln(\ln(n))-0.9385\right)$](https://dxdy-02.korotkov.co.uk/f/5/e/5/5e570e1a898dafcbd28600833d5ac27082.png)
;
![$n>15985$ $n>15985$](https://dxdy-03.korotkov.co.uk/f/a/2/8/a283e0c90de845efeba125f50b8259ce82.png)
:
![$p(n)<n(\ln(n)+\ln(\ln(n))-0.9427)$ $p(n)<n(\ln(n)+\ln(\ln(n))-0.9427)$](https://dxdy-03.korotkov.co.uk/f/e/d/7/ed71ba93875a8cf39e5bfeda2300aab382.png)
;
![$n>13$ $n>13$](https://dxdy-04.korotkov.co.uk/f/3/4/7/34779967764d2d876f0ba410347d309382.png)
:
![$p(n)<n\left(\ln(n)+\ln(\ln(n))-1+1.8\frac{\ln(\ln(n))}{\ln(n)}\right)$ $p(n)<n\left(\ln(n)+\ln(\ln(n))-1+1.8\frac{\ln(\ln(n))}{\ln(n)}\right)$](https://dxdy-02.korotkov.co.uk/f/9/1/1/911eb1c428600b350fdcbba3887262c882.png)
;
![$n>0$ $n>0$](https://dxdy-04.korotkov.co.uk/f/3/b/b/3bb559f8900a66d1587e8044613b98d182.png)
:
![$p(n)>n(\ln(n)+\ln(\ln(n))-1)$ $p(n)>n(\ln(n)+\ln(\ln(n))-1)$](https://dxdy-01.korotkov.co.uk/f/0/9/6/09660c97178985cb3201c8a05677991c82.png)
.
Про верхнюю границу для
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
не сказано ничего, но я уверен, что эти оценки только проверены для достаточно большого
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
и
![$n$ $n$](https://dxdy-02.korotkov.co.uk/f/5/5/a/55a049b8f161ae7cfeb0197d75aff96782.png)
, и не более.
Так как
![$xe^{-a\sqrt{\ln(x)}}$ $xe^{-a\sqrt{\ln(x)}}$](https://dxdy-04.korotkov.co.uk/f/3/5/8/35826ec0725b4a7fa9522c47a231a85b82.png)
бесконечномалое относительно любого
![$\frac{x}{\ln(x)^n}$ $\frac{x}{\ln(x)^n}$](https://dxdy-02.korotkov.co.uk/f/5/5/6/556b2f783b6cdb89e57ddf67620a890182.png)
, то асимптотическое разложение
![$\pi(x)$ $\pi(x)$](https://dxdy-03.korotkov.co.uk/f/a/8/5/a85994330b934e4b065812835ff10df282.png)
есть
![$\pi(x)=\sum\limits_{k=1}^{N-1}(k-1)!\frac{x}{\ln(x)^k}+O(\frac{x}{\ln(x)^{N}})$ $\pi(x)=\sum\limits_{k=1}^{N-1}(k-1)!\frac{x}{\ln(x)^k}+O(\frac{x}{\ln(x)^{N}})$](https://dxdy-03.korotkov.co.uk/f/2/7/b/27b5be433c20cfcf7617aae5ada7a1bf82.png)
,
откуда, обращая, можно получить асимптотическое разложение
![$p(n)=n\ln(n)\left(1+\sum\limits_{k=1}^{N-1}\frac{\sum\limits_{l=0}^{k}a[k,l]\ln(\ln(n))^l}{\ln(n)^k}+\frac{\sum\limits_{l=0}^{L-1}a[N,l]\ln(\ln(n))^l}{\ln(n)^N}+O\left(\frac{\ln(\ln(n))^L}{\ln(n)^N}\right)\right)$ $p(n)=n\ln(n)\left(1+\sum\limits_{k=1}^{N-1}\frac{\sum\limits_{l=0}^{k}a[k,l]\ln(\ln(n))^l}{\ln(n)^k}+\frac{\sum\limits_{l=0}^{L-1}a[N,l]\ln(\ln(n))^l}{\ln(n)^N}+O\left(\frac{\ln(\ln(n))^L}{\ln(n)^N}\right)\right)$](https://dxdy-04.korotkov.co.uk/f/b/8/b/b8b2e3f7654ae6b8a86371cedec0fae382.png)
,
где
![$N\geqslant 0$ $N\geqslant 0$](https://dxdy-04.korotkov.co.uk/f/3/d/d/3dd6c091599ebb936e052935f8353f2382.png)
и
![$0\leqslant L\leqslant N$ $0\leqslant L\leqslant N$](https://dxdy-03.korotkov.co.uk/f/6/1/1/61166fa535a7bc8ceae138fb832f52d482.png)
.
Для всякого
![$x_0>1$ $x_0>1$](https://dxdy-03.korotkov.co.uk/f/a/7/a/a7a4255b96994cda9c0fa089a5bef6c682.png)
(
![$n_0>1$ $n_0>1$](https://dxdy-03.korotkov.co.uk/f/6/3/d/63d7ae9533db8d36513b33a74a6faddc82.png)
) можно подобрать доверительный интервал
![$[C_{-},C_{+}]$ $[C_{-},C_{+}]$](https://dxdy-03.korotkov.co.uk/f/a/5/7/a572d50d347281823ccd3a139973cd3b82.png)
для коэффициентов при остаточных членах этих разложений:
для
![$\pi(x)$ $\pi(x)$](https://dxdy-03.korotkov.co.uk/f/a/8/5/a85994330b934e4b065812835ff10df282.png)
:
![$O(\frac{x}{\ln(x)^{N}})=C\frac{x}{\ln(x)^{N}}$ $O(\frac{x}{\ln(x)^{N}})=C\frac{x}{\ln(x)^{N}}$](https://dxdy-03.korotkov.co.uk/f/2/5/f/25f57ea3b5bd4b0ab2227a91e4a70dbf82.png)
и при
![$x\geqslant x_0$ $x\geqslant x_0$](https://dxdy-04.korotkov.co.uk/f/3/c/3/3c311c8409c58389978a937291cf310c82.png)
будет
![$C\in[C_{-},C_{+}]$ $C\in[C_{-},C_{+}]$](https://dxdy-04.korotkov.co.uk/f/3/2/1/3216c83e2b77e46820ac806348c8d21b82.png)
, очевидно также
![$N!\in[C_{-},C_{+}]$ $N!\in[C_{-},C_{+}]$](https://dxdy-03.korotkov.co.uk/f/e/a/1/ea17f3928965c726eb676a28d453673482.png)
;
для
![$p(n)$ $p(n)$](https://dxdy-01.korotkov.co.uk/f/c/6/2/c62c4d1f4cea69da63734be038d89dea82.png)
:
![$O(\frac{\ln(\ln(n))^L}{\ln(n)^N})=C\frac{\ln(\ln(n))^L}{\ln(n)^N}$ $O(\frac{\ln(\ln(n))^L}{\ln(n)^N})=C\frac{\ln(\ln(n))^L}{\ln(n)^N}$](https://dxdy-04.korotkov.co.uk/f/3/8/e/38ea3cc0f3a3663c9662ffe4920ae3e982.png)
и при
![$n\geqslant n_0$ $n\geqslant n_0$](https://dxdy-01.korotkov.co.uk/f/c/9/b/c9b9c9c68a244ad424a8dae13ee2d67082.png)
будет
![$C\in[C_{-},C_{+}]$ $C\in[C_{-},C_{+}]$](https://dxdy-04.korotkov.co.uk/f/3/2/1/3216c83e2b77e46820ac806348c8d21b82.png)
, очевидно также
![$a[N,L]\in[C_{-},C_{+}]$ $a[N,L]\in[C_{-},C_{+}]$](https://dxdy-03.korotkov.co.uk/f/a/b/1/ab176b51a792db5c8b3283519515ff8782.png)
.