Category:Sine Integral Function

From ProofWiki
Jump to navigation Jump to search

This category contains results about the sine integral function.

The sine integral function is the real function $\Si: \R \to \R$ defined as:

$\map \Si x = \ds \int_{t \mathop \to 0}^{t \mathop = x} \frac {\sin t} t \rd t$