Bernstein's Theorem of Analytic Function Proof I'm studying from a textbook and came across an exercise to prove the following, which it calls the Bernstein's Theorem: If $f$ is infinitely differentiable on an interval $I$, and $f^n(x)\ge0$ for all $n\in\mathbb N$ and $x\in I$, then $f$ is analytic on $I$. 
I'm trying to find more information and/or a proof of it, though most of my search comes up with the Cantor-Bernstein or Schröder-Bernstein theorems, which don't seem to be the same as this. Is anyone more knowledgable of this proof?
 A: By shifting and rescaling, assume without loss of generality that $[-1,1]\subseteq I$, and it suffices to show that $f$ is analytic at 0. By Taylor's theorem, we have 
$$f(x) = \sum_{i=0}^k \frac{f^{(i)}(0)}{i!}x^k+R_k(x)$$
for all $x\in I$, where the remainder $R_k$ has the integral form
$$R_k(x) = \int_0^x \frac{f^{(k+1)}(t)}{k!}(x-t)^k\ dt$$
Since $f^{(k+1)}\geq 0$, it follows that $R_k(x)\geq0$ for all $x\in[0,1]$. Also, since $\sum_{i=0}^k \frac{f^{(i)}(0)}{i!}x^k \geq 0$ for all $x\in[0,1]$, we have $R_k(x)\leq f(x)$ for all $x\in[0,1]$. In particular, $R_k(1) \leq f(1)$ for all $k$. Now, using the fact that $\frac{x-t}{1-t} \leq x$ for $0\leq t\leq x\leq 1$, we have
\begin{align*}
R_k(x) &=
 \int_0^x \frac{f^{(k+1)}(t)}{k!}(1-t)^k \frac{(x-t)^k}{(1-t)^k}\ dt\\
&\leq 
 \int_0^x \frac{f^{(k+1)}(t)}{k!}(1-t)^k x^k\ dt\\
&= x^k \int_0^x \frac{f^{(k+1)}(t)}{k!}(1-t)^k\ dt\\
&\leq x^k \int_0^1 \frac{f^{(k+1)}(t)}{k!}(1-t)^k\ dt \\
&= x^k R_k(1) \\
&\leq x^k f(1)
\end{align*}
Thus $\lim_{k\to\infty} R_k(x)=0$ for every $x\in[0,1)$. Similarly, $\lim_{k\to\infty} R_k(x)=0$ for $x\in(-1,0]$. Thus we obtain a power series expansion converging to $f(x)$ on the interval $(-1,1)$, as desired.
