Limit to Infinity of Fresnel Cosine Integral Function

Theorem

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

where $\operatorname C$ denotes the Fresnel cosine integral function.