Limit to Infinity of Fresnel Sine Integral Function

Theorem

 * $\ds \lim_{x \mathop \to \infty} \map {\mathrm S} x = \frac 1 2$

where $\mathrm S$ denotes the Fresnel sine integral function.