3,138

edits
# Changes

no edit summary

==Statement==

===Global statement===

Suppose <math>f</math> is an infinitely differentiable function on <math>\R</math> such that, for any fixed <math>a,b \in \R</math>, there is a constant <math>C</math> (possibly dependent on <math>a,b</math>) such that for all nonnegative integers <math>n</math>, we have:

Then, <math>f</math> is a [[globally analytic function]]: the [[Taylor series]] of <math>f</math> about any point in <math>\R</math> converges to <math>f</math>. In particular, the Taylor series of <math>f</math> about 0 converges to <math>f</math>.

==Examples==

The functions <math>\exp, \sin, \cos</math> all fit this description.