Every real sequence is the derivative sequence of some function

As you mentioned, this is a result of Borel. Proofs can be found in several sources, see for example the book on "Complex variables" by Berenstein and Gay (it may just be an exercise there, but at least there is a "hint"). The idea is to try a power series. Of course, this may not converge, so you use the kind of functions that come in constructions of smooth partitions of unity to help the convergence; the point is that you can ensure these functions decay to zero sufficiently fast.

Edit: There is a proof in Wikipedia, actually. See here.

And there is another question where proofs are sketched. In particular, in my answer I sketch a proof of Peano that is different from the standard proof I reference above.


This is a famous theorem of Borel. If you have Hormander's "The analysis of partial differential operators I" it's Theorem 1.2.6 there. He proves the result in any dimension. The basic idea is to write a sum of functions $\sum_n {a_n \over n!}\phi(m_n x)x^n$ where $\phi(x)$ is $1$ near $x = 0$ and is equal to zero outside of a small set containing $0$. If the $m_n$ are chosen carefully then the sum will have the desired properties.