Abstract:In \cite{d4}, we gave a method to construct a continued fraction of the function $F(x):=e^{x}E_{1}(x)$. More precisely we define $F_{1}(x)$ as the reciprocal of $F(x)$ and we inductively define $F_{m}(x)$ as the reciprocal of ``$F_{m-1}(x)$ minus the main term of $F_{m-1}(x)$ at infinity''. We calculated the main term of $F_{m}(x)$ at infinity by using \cite[Proposition 2.1]{d4}. This method is analogous to the regular continued fraction expansion of real numbers. \\ \ \ \ \ In this paper we prove that the continued fraction converges to $F(x)$ for any positive real number $x>0$ by following the proof of that the regular continued fraction of a positive and irrational real number $\alpha$ converges to $\alpha$. Essentially we prove inequalities for $Q_{m}(x)$ (in Theorem 4.1) and inequalities $F_{m}(x)>0$ (in Section 5). In particular, we prove stronger inequalities $\displaystyle\frac{P_{2k}(x)}{Q_{2k}(x)}<F(x)<\displaystyle\frac{P_{2k-1}(x)}{Q_{2k-1}(x)}$ (than $F_{m}(x)>0$) and give two proofs of these. In Section 6, we show an asymptotic relation between $Q_{2k}(x)$ and $Q_{2k-1}(x)$ by using properties of the classical Laguerre polynomial. In Section 7, we consider Euler-Gompertz constant $\delta$. As far as we know, irrationality of $\delta$ is still an open problem. We construct a sequence of rationals $\displaystyle\frac{A_{i}}{B_{i}}\ (i=1,2,3,\cdots)$ such that $\delta B_{i}-A_{i}$ approaches 0 as $i$ approaches infinity and give a sufficient condition of that $\delta B_{i}-A_{i}\neq 0$ for any positive integer $i$. Therefore, if it is proved that this condition holds, it completes a proof of irrationality of Euler-Gompertz constant $\delta$.

Irrationality of the Deformed Euler Numbers $\e_{s,t,u}$

Mathematical irrational numbers not so physically irrational

Zur Irrationalität in der Schule

An elementary proof of the irrationality of Tschakaloff series

On several irrationality problems for Ahmes series

On the irrationality of certain $2$-adic zeta values

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

A Note on the Number of Irrational Odd Zeta Values

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

Arithmetic on $q$-deformed rational numbers

Transcendence of Sturmian Numbers over an Algebraic Base

Primes, Pi, and Irrationality Measure

A Geometric Proof to Cantor's Theorem and an Irrationality Measure for Some Cantor's Series

On the irrationality of certain [math]-adic zeta values

A variety of Euler’s sum of powers conjecture

Many $p$-adic odd zeta values are irrational

On the Irrationality Exponents of Mahler Numbers

Geometric Proof of the Irrationality of Square-Roots for Select Integers

On $q$-deformed Farey sum and a homological interpretation of $q$-deformed real quadratic irrational numbers

On simultaneous diophantine approximations to $ζ(2)$ and $ζ(3)$

Introducing irrational enumeration: analytic combinatorics for objects of irrational size