Yannick Saouter, Timothy Trudgian, and Patrick Demichel. A still sharper region where π(x) − li(x) is positive // Math. Comp. — 2015. — Vol. 84. — P. 2433—2446. — doi:10.1090/S0025-5718-2015-02930-5.MR: 3356033. Указанная оценка не требует гипотезы Римана; привлечение гипотезы Римана позволяет немного улучшить её[3].
arxiv.org
Jan Büthe. An analytic method for bounding ψ(x) // Math. Comp. — 2018. — Vol. 87. — P. 1991—2009. — arXiv:1511.02032. — doi:10.1090/mcom/3264. Доказательство использует гипотезу Римана.
doi.org
dx.doi.org
Jan Büthe. An analytic method for bounding ψ(x) // Math. Comp. — 2018. — Vol. 87. — P. 1991—2009. — arXiv:1511.02032. — doi:10.1090/mcom/3264. Доказательство использует гипотезу Римана.
Yannick Saouter, Timothy Trudgian, and Patrick Demichel. A still sharper region where π(x) − li(x) is positive // Math. Comp. — 2015. — Vol. 84. — P. 2433—2446. — doi:10.1090/S0025-5718-2015-02930-5.MR: 3356033. Указанная оценка не требует гипотезы Римана; привлечение гипотезы Римана позволяет немного улучшить её[3].
