There is a theorem (the "Borel lemma") that says: Let (A_n) by any sequence of real numbers. We can built a function "F", indefinitely differentiable, such that if G is the n-derivative of f, G(0) = a_n.(adsbygoogle = window.adsbygoogle || []).push({});

Does someone knows a proof or where can I find it? The theorem appears in wikipedia, under the name "Borel Lemma", but all the wiki information is that this theorem is sometimes useful in PDE...

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Borel lemma

**Physics Forums | Science Articles, Homework Help, Discussion**