Proof of Medium PNT
The approach here is completely standard. We follow the use of \(\mathcal{M}(\widetilde{1_{\epsilon}})\) as in [Kontorovich 2015].
ChebyshevPsi to SmoothedChebyshevPull1-aux-integ…
- ChebyshevPsi
- LogDerivativeDirichlet
- SmoothedChebyshev
- SmoothedChebyshevDirichlet-aux-integrable
- SmoothedChebyshevDirichlet-aux-tsum-integral
- SmoothedChebyshevDirichlet
- SmoothedChebyshevClose
- LogDerivZetaHasBound
- I₁
- I₂
- I₃₇
- I₈
- I₉
- I₃
- I₇
- I₄
- I₆
- I₅
- dlog-riemannZeta-bdd-on-vertical-lines
- SmoothedChebyshevPull1-aux-integrable
BddAboveOnRect to I5Bound
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.