Abstract:We introduce approximation functions of $li(x)$ for all $x\ge e$: (1) $\displaystyle li_{\underline{\omega},\alpha}(x) = \frac{x}{\log(x)}\left( \alpha\frac{\underline{m}!}{\log^{\underline{m}}(x)} + \sum_{k=0}^{\underline{m}-1}\frac{k!}{\log^{k}(x)} \right)$, and (2) $\displaystyle li_{\overline{\omega},\beta}=\frac{x}{\log(x)}\left( \beta\frac{\overline{m}!}{\log^{\overline{m}}(x)} + \sum_{k=0}^{\overline{m}-1}\frac{k!}{\log^{k}(x)} \right)$ with $0 < \omega < 1$ a real number, $\alpha \in \{ 0, \underline{\kappa}\log(x) \}$, $\underline{m} = \lfloor \underline{\kappa}\log(x) \rfloor$, $\beta \in \{ \overline{\kappa}\log(x), 1 \}$, $\overline{m} = \lfloor \overline{\kappa}\log(x) \rfloor$, and $\underline{\kappa} < \overline{\kappa}$ the solutions of $\kappa(1-\log(\kappa)) = \omega$. Since the error of approximating $li(x)$ using Stieltjes asymptotic series $\displaystyle li_{*}(x) = \frac{x}{\log(x)}\sum_{k=0}^{n-1}\frac{k!}{\log^{k}(x)} + (\log(x)-n)\frac{xn!}{\log^{n+1}(x)}$, with $\displaystyle n = \lfloor \log(x) \rfloor$ for all $x\ge e$, satisfies $\displaystyle |\varepsilon(x)| = |li(x)-li_{*}(x)| \le 1.265692883422\ldots$, by using Stirling's approximation and some facts about $\log(x)$ and floor functions, we show that $\displaystyle \varepsilon_{0}(x) = li(x) - li_{\underline{1/2},0}(x)$, $\displaystyle \underline{\varepsilon}(x) = li(x) - li_{\underline{1/2},\underline{\kappa}\log(x)}(x)$, $\displaystyle \overline{\varepsilon}(x) = li(x) - li_{\overline{1/2},\overline{\kappa}\log(x)}(x)$, and $\varepsilon_{1}(x) = li_{\overline{1/2},1}(x) - li(x)$ belong to $O\left(\sqrt{\frac{x}{\log(x)}}\right)$. Moreover, we conjecture that $li_{0}(x) \le \pi(x) \le li_{1}(x)$ and $\underline{li}(x) \le \pi(x) \le \overline{li}(x)$ for all $x \ge e$, here $\pi(x)$ is the prime counting function and we show that if one of those conjectures is true then the Riemann Hypothesis is true.

On irrationality of Euler's constant and related asymptotic formulas

Rational function approximations of the special function $e^{x}E_{1}(x)$ and applications to irrationality of Euler-Gompertz constant $δ$

On several irrationality problems for Ahmes series

On a generalisation sum involving the Euler function

LEONHARD EULER (1707-1783) AND THE COMPUTATIONAL ASPECTS OF SOME ZETA-FUNCTION SERIES

A Proof that Euler's Constant Gamma is an Irrational Number

Euler Product Asymptotics for $L$-functions of Elliptic Curves

Defining Upper and Lower Bounding Functions of $li(x)$ with $\displaystyle O\left(\sqrt{\frac{x}{\log(x)}}\right)$ Error Using Truncated Asymptotic Series

On the Conjecture of Lehmer, Limit Mahler Measure of Trinomials and Asymptotic Expansions

Primes, Pi, and Irrationality Measure

On Product Formulas of Guillera and Sondow

On the Connection Between Irrationality Measures and Polynomial Continued Fractions

A note on the Irrationality of $ζ(5)$ and Higher Odd Zeta Values

A conjectural asymptotic formula for multiplicative chaos in number theory

A Generalization of a Theorem of Nagell

On finite analogues of Euler's constant

Voronoi summation formulas, oscillations of Riesz sums, and Ramanujan-Guinand and Cohen type identities

An asymptotic distribution theory for Eulerian recurrences with applications

On a higher-order version of a formula due to Ramanujan

Effective irrationality measures for real and $p$-adic roots of rational numbers close to $1$, with an application to parametric families of Thue-Mahler equations

On a generalization of the Euler totient function