Limit at Infinity of Sine Integral Function/Corollary

Corollary to Limit at Infinity of Sine Integral Function

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

where $\Si$ denotes the sine integral function.