Limit at Infinity of Sine Integral Function

Theorem
Let $\Si: \R \to \R$ denote the sine integral function.

Then $\Si$ has a (finite) limit at infinity:


 * $\ds \lim_{x \mathop \to +\infty} \map \Si x = \frac \pi 2$

Proof
The limit:


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

is the Dirichlet Integral.