Asymptotic Expansion for Exponential Integral Function/Formulation 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\Ei: \R_{>0} \to \R$ denote the exponential integral function:

$\map \Ei x = \ds \int_{t \mathop = x}^{t \mathop \to +\infty} \frac {e^{-t} } t \rd t$

Then:

$\ds \map \Ei x \sim \frac {e^{-x} } x \sum_{n \mathop = 0}^\infty \paren {-1}^n \frac {n!} {x^n}$

where $\sim$ denotes asymptotic equivalence as $x \to \infty$.


Proof




Sources