There is a theorem by Bernstein that I like:
If $f$ is a $C^{\infty}$-function on the intervall $I$ such that $f$ and the derivatives of $f$ to every order are non-negative on $I$ then $f$ is analytic.
An example would be $e^x$ which satisfies the assumptions and thus is analytic (on the whole real line).
