Limit to Infinity of Fresnel Sine Integral Function

Theorem

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

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