지수 적분 함수

지수 적분 함수 (Exponential Integral Function) ${\rm Ei} (x)$는 지수함수와 관련된 함수로, 다음과 같이 정의합니다.

$$ {\rm Ei} (x) = \int_{\ln \mu}^{x} \frac{e^{t}}{t} dt $$

$\ln x$는 자연로그함수 , $\mu$는 라마누잔-졸트너 상수 , $e$는 자연로그의 밑 $e$ 입니다.
${\rm Ei} (x)$에 자연로그함수 $\ln x$를 합성한 ${\rm Ei} (\ln x)$는 ${\rm li} (x)$와 같습니다. (${\rm li} (x)$는 로그 적분 함수 )