Limit to Infinity of Exponential Integral Function

Theorem

 * $\ds \lim_{x \mathop \to \infty} \map \Ei x = 0$

where $\Ei$ denotes the exponential integral function.