Notiz über den Integrallogarithmus. (Q1501246)

Einfacher Beweis der \textit{Schendel}schen Formel für den Integrallogarithmus: \[ \text{li}\; e^{-x} +C+\log x-e^{-x} \sum_1^\infty \frac{x^s}{s!} \left( \tfrac 11 +\tfrac 12 +\cdots + \tfrac 1s \right) \] (\(C\) die \textit{Euler}sche Konstante). Hieraus werden dann noch zwei \textit{Lommel}sche Formeln für den Integralkosinus und Integralsinus abgeleitet.