Primitive of Sine Integral Function

Theorem

 * $\displaystyle \int \map \Si x \rd x = x \map \Si x + \cos x + C$

where $\Si$ denotes the sine integral function.

Proof
We have, by the definition of the sine integral function:


 * $\displaystyle \map \Si x = \int_0^x \frac {\sin t} t \rd t$

By Fundamental Theorem of Calculus (First Part): Corollary, we have:


 * $\displaystyle \frac \d {\d x} \paren {\map \Si x} = \frac {\sin x} x$

So: