Limit to Infinity of Fresnel Cosine Integral Function

Theorem

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

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