References

[Axl19] Christian Axler. On the sum of the first $n$ prime numbers. J. Théor. Nombres Bordeaux, 31(2):293–311, 2019. doi:10.5802/jtnb.1081, MR:4030908, URL: https://doi.org/10.5802/jtnb.1081.
[Bac18] R. J. Backlund. Über die Nullstellen der Riemannschen Zetafunktion. Acta Math., 41(1):345–375, 1918.
[BTY26] Chiara Bellotti, Timothy S. Trudgian, Andrew Yang. Zero-free regions inspired by work of Heath-Brown. arXiv preprint arXiv:2603.21490, 2026. URL: https://arxiv.org/abs/2603.21490.
[Bha23] Sreerupa Bhattacharjee. A Survey of Büthe's Method for Estimating Prime Counting Functions. Master's thesis, University of Lethbridge, Lethbridge, Alberta, 2023. URL: https://opus.uleth.ca/items/b6026465-4a9c-443a-b8e1-f2acd4068991.
[BKL+21] Samuel Broadbent, Habiba Kadiri, Allysa Lumley, Nathan Ng, Kirsten Wilk. Sharper bounds for the Chebyshev function $\theta(x)$. Math. Comp., 90(331):2281–2315, 2021. doi:10.1090/mcom/3643, MR:4280302, URL: https://doi.org/10.1090/mcom/3643.
[But16] Jan Büthe. Estimating $\pi(x)$ and related functions under partial RH assumptions. Math. Comp., 85(301):2483–2498, 2016. doi:10.1090/mcom/3060, MR:3511289, URL: https://doi.org/10.1090/mcom/3060.
[But18] Jan Büthe. An analytic method for bounding $\psi(x)$. Math. Comp., 87(312):1991–2009, 2018. doi:10.1090/mcom/3264, MR:3787399, URL: https://doi.org/10.1090/mcom/3264.
[CL13] Emanuel Carneiro, Friedrich Littmann. Entire approximations for a class of truncated and odd functions. J. Fourier Anal. Appl., 19(5):967–996, 2013. doi:10.1007/s00041-013-9273-6, MR:3110588, URL: https://doi.org/10.1007/s00041-013-9273-6.
[CMS19] Emanuel Carneiro, Micah B. Milinovich, Kannan Soundararajan. Fourier optimization and prime gaps. Comment. Math. Helv., 94(3):533–568, 2019. doi:10.4171/CMH/467, MR:4014779, URL: https://doi.org/10.4171/CMH/467.
[Che99] Yuanyou Cheng. An explicit upper bound for the Riemann zeta-function near the line $\sigma=1$. Rocky Mountain J. Math., 29(1):115–140, 1999. doi:10.1216/rmjm/1181071682, MR:1687658, URL: https://doi.org/10.1216/rmjm/1181071682.
[CG04] Yuanyou Cheng, S. W. Graham. Explicit estimates for the Riemann zeta function. Rocky Mountain J. Math., 34(4):1261–1280, 2004.
[CH25a] Andrés Chirre, Harald Andrés Helfgott. Optimal bounds for sums of bounded arithmetic functions. 2025. arXiv:2511.14736.
[CH25b] Andrés Chirre, Harald Andrés Helfgott. Optimal bounds for sums of non-negative arithmetic functions. 2025. arXiv:2512.15709.
[Cip02] Michele Cipolla. La determinazione assintotica dell' $n$imo numero primo. Rendiconto dell'Accademia delle Scienze Fisiche e Matematiche (Napoli), 8:132–166, 1902.
[CP85] N. Costa Pereira. Estimates for the Chebyshev function $\psi(x)-\theta (x)$. Math. Comp., 44(169):211–221, 1985. doi:10.2307/2007805, MR:771046, URL: https://doi.org/10.2307/2007805.
[DKL20] Jean-Marie De Koninck, Patrick Letendre. New upper bounds for the number of divisors function. Colloq. Math., 162(1):23–52, 2020. doi:10.4064/cm7792-6-2019, MR:4114050, URL: https://doi.org/10.4064/cm7792-6-2019.
[dR24] Juan Arias de Reyna. On the approximation of the zeta function by Dirichlet polynomials. 2024. arXiv:2406.16667.
[Del87] Hubert Delange. Une remarque sur la dérivée logarithmique de la fonction zêta de Riemann. Colloq. Math., 53(2):333–335, 1987.
[DN19] Marc Deléglise, Jean-Louis Nicolas. The Landau function and the Riemann hypothesis. J. Comb. Number Theory, 11(2):45–95, 2019. Zbl:1481.11005.
[Dia82] Harold G. Diamond. Elementary methods in the study of the distribution of prime numbers. Bull. Amer. Math. Soc. (N.S.), 7(3):553–589, 1982. doi:10.1090/S0273-0979-1982-15057-1, MR:670132, URL: https://doi.org/10.1090/S0273-0979-1982-15057-1.
[DHA22] Daniele Dona, Harald A. Helfgott, Sebastian Zuniga Alterman. Explicit $L^2$ bounds for the Riemann $\zeta$ function. J. Théor. Nombres Bordx., 34(1):91–133, 2022. doi:10.5802/jtnb.1194, Zbl:1495.11100.
[Dud16] Adrian W. Dudek. An explicit result for primes between cubes. Funct. Approx. Comment. Math., 55(2):177–197, 2016. doi:10.7169/facm/2016.55.2.3, MR:3584567, URL: https://doi.org/10.7169/facm/2016.55.2.3.
[DP15] Adrian W. Dudek, David J. Platt. On solving a curious inequality of Ramanujan. Exp. Math., 24(3):289–294, 2015. doi:10.1080/10586458.2014.990118, MR:3359216, URL: https://doi.org/10.1080/10586458.2014.990118.
[Dus99] Pierre Dusart. Inégalités explicites pour $\psi(X)$, $\theta(X)$, $\pi(X)$ et les nombres premiers. C. R. Math. Acad. Sci. Soc. R. Can., 21(2):53–59, 1999. MR:1697455.
[Dus18] Pierre Dusart. Explicit estimates of some functions over primes. Ramanujan J., 45(1):227–251, 2018. doi:10.1007/s11139-016-9839-4, MR:3745073, URL: https://doi.org/10.1007/s11139-016-9839-4.
[FK15] Laura Faber, Habiba Kadiri. New bounds for $\psi(x)$. Math. Comp., 84(293):1339–1357, 2015. doi:10.1090/S0025-5718-2014-02886-X, MR:3315511, URL: https://doi.org/10.1090/S0025-5718-2014-02886-X.
[FK18] Laura Faber, Habiba Kadiri. Corrigendum to New bounds for $\psi(x)$ [MR3315511]. Math. Comp., 87(311):1451–1455, 2018. doi:10.1090/mcom/3340, MR:3766393, URL: https://doi.org/10.1090/mcom/3340.
[FKS23a] Andrew Fiori, Habiba Kadiri, Joshua Swidinsky. Sharper bounds for the Chebyshev function $\psi(x)$. J. Math. Anal. Appl., 527(2):Paper No. 127426, 28, 2023. doi:10.1016/j.jmaa.2023.127426, MR:4598939, URL: https://doi.org/10.1016/j.jmaa.2023.127426.
[FKS23b] Andrew Fiori, Habiba Kadiri, Joshua Swidinsky. Sharper bounds for the error term in the prime number theorem. Res. Number Theory, 9(3):Paper No. 63, 19, 2023. doi:10.1007/s40993-023-00454-w, MR:4629508, URL: https://doi.org/10.1007/s40993-023-00454-w.
[For02] Kevin Ford. Vinogradov's integral and bounds for the Riemann zeta function. Proc. London Math. Soc. (3), 85(3):565–633, 2002.
[Gou04] Xavier Gourdon. The $10^{13}$ first zeros of the Riemann zeta function, and zeros computation at very large height. 2004. Preprint; http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf.
[HL21] G. H. Hardy, J. E. Littlewood. The zeros of Riemann's zeta-function on the critical line. Math. Z., 10:283–317, 1921. doi:10.1007/BF01211614, URL: https://eudml.org/doc/167645.
[HSW22] Elchin Hasanalizade, Quanli Shen, Peng-Jie Wong. Counting zeros of the Riemann zeta function. J. Number Theory, 235:219–241, 2022.
[Hel13] H. A. Helfgott. The ternary Goldbach conjecture is true. 2013. arXiv:1312.7748.
[Hel17] Harald A. Helfgott. $L^2$ bounds for tails of $\zeta(s)$ on a vertical line. https://mathoverflow.net/questions/285197/, 2017. MathOverflow answer / manuscript.
[Hia16] Ghaith A. Hiary. An explicit van der Corput estimate for $\zeta(1/2 + it)$. Indag. Math. (N.S.), 27(2):524–533, 2016.
[HPY22] Ghaith A. Hiary, Dhir Patel, Andrew Yang. An improved explicit subconvex bound for the Riemann zeta function. 2022. arXiv:2207.02366.
[JY23] Daniel R. Johnston, Andrew Yang. Some explicit estimates for the error term in the prime number theorem. J. Math. Anal. Appl., 527(2):23, 2023. Id/No 127460. doi:10.1016/j.jmaa.2023.127460, Zbl:1535.11128.
[Kad05] Habiba Kadiri. Une région explicite sans zéros pour la fonction $\zeta$ de Riemann. Acta Arith., 117(4):303–339, 2005.
[Kad13a] Habiba Kadiri. A zero density result for the Riemann zeta function. Acta Arith., 160(2):185–200, 2013. doi:10.4064/aa160-2-6, MR:3105334, URL: https://doi.org/10.4064/aa160-2-6.
[Kad13b] Habiba Kadiri. A zero density result for the Riemann zeta function. Acta Arith., 160(2):185–200, 2013.
[KL14] Habiba Kadiri, Allysa Lumley. Short effective intervals containing primes. Integers, 14:Paper No. A61, 18, 2014. MR:3274183.
[KLN18] Habiba Kadiri, Allysa Lumley, Nathan Ng. Explicit zero density for the Riemann zeta function. J. Math. Anal. Appl., 465(1):22–46, 2018. doi:10.1016/j.jmaa.2018.04.071, MR:3806689, URL: https://doi.org/10.1016/j.jmaa.2018.04.071.
[Leh70] R. Sherman Lehman. On the distribution of zeros of the Riemann zeta-function. Proc. London Math. Soc. (3), 20:303–320, 1970.
[MR96] Jean-Pierre Massias, Guy Robin. Bornes effectives pour certaines fonctions concernant les nombres premiers. J. Théor. Nombres Bordeaux, 8(1):215–242, 1996. doi:10.5802/jtnb.166, MR:1399956, URL: https://doi.org/10.5802/jtnb.166.
[MV07] Hugh L. Montgomery, Robert C. Vaughan. Multiplicative number theory. I. Classical theory. Volume 97 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 2007. ISBN 978-0-521-84903-6; 0-521-84903-9. MR:2378655.
[MT15] Michael J. Mossinghoff, Timothy S. Trudgian. Nonnegative trigonometric polynomials and a zero-free region for the Riemann zeta-function. J. Number Theory, 157:329–349, 2015. doi:10.1016/j.jnt.2015.05.010.
[MTY24] Michael J. Mossinghoff, Timothy S. Trudgian, Andrew Yang. Explicit zero-free regions for the Riemann zeta-function. Res. Number Theory, 10(1):Paper No. 11, 27 pp., 2024. arXiv:2212.06867.
[OeSHP14] Tomás Oliveira e Silva, Siegfried Herzog, Silvio Pardi. Empirical verification of the even Goldbach conjecture and computation of prime gaps up to $4\cdot 10^{18}$. Math. Comp., 83(288):2033–2060, 2014. doi:10.1090/S0025-5718-2013-02787-1, MR:3194140, URL: https://doi.org/10.1090/S0025-5718-2013-02787-1.
[Pat22] Dhir Patel. An explicit upper bound for $|\zeta(1 + it)|$. Indag. Math. (N.S.), 33(5):1012–1032, 2022.
[Pin80] J. Pintz. On the remainder term of the prime number formula. II. On a theorem of Ingham. Acta Arith., 37:209–220, 1980. doi:10.4064/aa-37-1-209-220, MR:598876, URL: https://doi.org/10.4064/aa-37-1-209-220.
[PT21a] Dave Platt, Tim Trudgian. The Riemann hypothesis is true up to $3 \cdot 10^{12}$. Bull. Lond. Math. Soc., 53(3):792–797, 2021. arXiv:2004.09765.
[Pla17] David J. Platt. Isolating some non-trivial zeros of zeta. Math. Comp., 86(307):2449–2467, 2017. doi:10.1090/mcom/3198.
[PT21b] David J. Platt, Timothy S. Trudgian. The error term in the prime number theorem. Math. Comp., 90(328):871–881, 2021. doi:10.1090/mcom/3583, MR:4194165, URL: https://doi.org/10.1090/mcom/3583.
[Ram16] O. Ramaré. An explicit density estimate for Dirichlet $L$-series. Math. Comp., 85(297):325–356, 2016. doi:10.1090/mcom/2991, MR:3404452, URL: https://doi.org/10.1090/mcom/2991.
[Ram13] Olivier Ramaré. Explicit estimates for the summatory function of $\Lambda(n)/n$ from the one of $\Lambda(n)$. Acta Arith., 159(2):113–122, 2013. doi:10.4064/aa159-2-2, MR:3062910, URL: https://doi.org/10.4064/aa159-2-2.
[RS03] Olivier Ramaré, Yannick Saouter. Short effective intervals containing primes. J. Number Theory, 98(1):10–33, 2003. doi:10.1016/S0022-314X(02)00029-X, MR:1950435, URL: https://doi.org/10.1016/S0022-314X(02)00029-X.
[Ric01] Jörg Richstein. Verifying the Goldbach conjecture up to $4\cdot 10^{14}$. Math. Comp., 70(236):1745–1749, 2001. doi:10.1090/S0025-5718-00-01290-4, MR:1836932, URL: https://doi.org/10.1090/S0025-5718-00-01290-4.
[Rob83] Guy Robin. Estimation de la fonction de Tchebychef $\theta $\ sur le $k$-ième nombre premier et grandes valeurs de la fonction $\omega (n)$\ nombre de diviseurs premiers de $n$. Acta Arith., 42(4):367–389, 1983. doi:10.4064/aa-42-4-367-389, MR:736719, URL: https://doi.org/10.4064/aa-42-4-367-389.
[Ros39] Barkley Rosser. The n-th Prime is Greater than nlogn. Proc. London Math. Soc. (2), 45(1):21–44, 1939. doi:10.1112/plms/s2-45.1.21, MR:1576808, URL: https://doi.org/10.1112/plms/s2-45.1.21.
[Ros41] Barkley Rosser. Explicit bounds for some functions of prime numbers. Amer. J. Math., 63:211–232, 1941. doi:10.2307/2371291, MR:3018, URL: https://doi.org/10.2307/2371291.
[RS62] J. Barkley Rosser, Lowell Schoenfeld. Approximate formulas for some functions of prime numbers. Illinois J. Math., 6:64–94, 1962. MR:137689, URL: http://projecteuclid.org/euclid.ijm/1255631807.
[RS75] J. Barkley Rosser, Lowell Schoenfeld. Sharper bounds for the Chebyshev functions $\theta (x)$ and $\psi (x)$. Math. Comp., 29:243–269, 1975. doi:10.2307/2005479, MR:457373, URL: https://doi.org/10.2307/2005479.
[RYS69] J. Barkley Rosser, J. M. Yohe, Lowell Schoenfeld. Rigorous computation and the zeros of the Riemann zeta-function. (With discussion). In Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software, pages 70–76. North-Holland, Amsterdam, 1969. MR:258245.
[STD15] Yannick Saouter, Timothy Trudgian, Patrick Demichel. A still sharper region where $\pi(x)-{\rm li}(x)$ is positive. Math. Comp., 84(295):2433–2446, 2015. doi:10.1090/S0025-5718-2015-02930-5, MR:3356033, URL: https://doi.org/10.1090/S0025-5718-2015-02930-5.
[Sch76] Lowell Schoenfeld. Sharper bounds for the Chebyshev functions $\theta (x)$ and $\psi (x)$. II. Math. Comp., 30(134):337–360, 1976. doi:10.2307/2005976, MR:457374, URL: https://doi.org/10.2307/2005976.
[Sim20] Aleksander Simoni\v c. Explicit zero density estimate for the Riemann zeta-function near the critical line. J. Math. Anal. Appl., 491(1):124303, 41, 2020. doi:10.1016/j.jmaa.2020.124303, MR:4114203, URL: https://doi.org/10.1016/j.jmaa.2020.124303.
[Ten15] Gérald Tenenbaum. Introduction to analytic and probabilistic number theory. Transl. from the 3rd French edition by Patrick D. F. Ion. 3rd expanded ed. Volume 163 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2015. ISBN 978-0-8218-9854-3. Zbl:1336.11001.
[Tit86] E. C. Titchmarsh. The theory of the Riemann zeta-function. Second edition. The Clarendon Press, Oxford University Press, New York, 1986. ISBN 0-19-853369-1. Edited and with a preface by D. R. Heath-Brown. MR:882550.
[Tre12] Enrique Treviño. The least inert prime in a real quadratic field. Math. Comp., 81(279):1777–1797, 2012. doi:10.1090/S0025-5718-2012-02579-8, MR:2904602, URL: https://doi.org/10.1090/S0025-5718-2012-02579-8.
[Tru16] Tim Trudgian. Updating the error term in the prime number theorem. Ramanujan J., 39(2):225–234, 2016. doi:10.1007/s11139-014-9656-6, MR:3448979, URL: https://doi.org/10.1007/s11139-014-9656-6.
[Tru14a] Timothy S. Trudgian. A new upper bound for $|\zeta(1 + it)|$. Bull. Aust. Math. Soc., 89(2):259–264, 2014.
[Tru14b] Timothy S. Trudgian. An improved upper bound for the argument of the Riemann zeta-function on the critical line II. J. Number Theory, 134:280–292, 2014.
[Van17] Ramdinmawia Vanlalngaia. Explicit Mertens sums. Integers, 17:Paper No. A11, 18, 2017. MR:3645998.