Limit at Infinity of Sine Integral Function/Corollary

Corollary to Limit at Infinity of Sine Integral Function

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

where $\Si$ denots the sine integral function.