Definition:Exponential Integral Function

From ProofWiki
Jump to: navigation, search

Definition

The exponential integral function is the real function $\Ei: \R_{> 0} \to \R$ defined as:

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


Sources