There is a newer version of the record available.

Published April 9, 2026 | Version v1
Preprint Open

An Explicit Bound for the Logarithmic Integral Derived via Linear Forms in Logarithms

Authors/Creators

Description

This paper establishes an explicit conditional upper bound for the Eulerian logarithmic integral by bridging transcendental and analytic number theory. Specifically, we apply the Baker-Matveev method for linear forms in logarithms to a primorial-based Diophantine system. 

Files

An_Explicit_Bound_for_the_Logarithmic_Integral_Derived_via_Linear_Forms_in_Logarithms.pdf

Files (301.3 kB)

Additional details

References

  • Rosser, J. B., & Schoenfeld, L. (1962). Approximate formulas for some functions of prime numbers. Illinois Journal of Mathematics, 6(1), 64-94.
  • Broadbent, S., Kadiri, H., Lumley, A., Ng, N., & Wilk, K. (2021). Sharper bounds for the Chebyshev function theta(x). arXiv preprint arXiv:2002.11068.
  • Baker, A. (1975). Transcendental Number Theory. Cambridge University Press, Cambridge.
  • Matveev, E. M. (1998). An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. Izvestiya: Mathematics, 62(4), 723-772.
  • Matveev, E. M. (2000). An explicit lower bound for a homogeneous rational linear form in logarithms of algebraic numbers. II. Izvestiya: Mathematics, 64(6), 1217-1269.
  • Dusart, P. (1999). The kth prime is greater than k(ln k + ln ln k - 1) for k >= 6. Mathematics of Computation, 68(225), 411-415.