# Where find proof of such theorem about uniform convergence of differences

Where to find a proof of theorem which says that: if a funcion $f: \mathbb R \rightarrow \mathbb R$ is bounded on a set of positive Lebesque measure or on the set of second category with Baire propert and $$\frac{\Delta_h^nf(x)}{h^n} \rightrightarrows g(x) \textrm{ as } h \rightarrow 0$$ on every compact interval $[c,d]$, to a bounded function $g: \mathbb{R} \rightarrow \mathbb R$, then $f$ is of class $C^n$ and $g^{(n)}=f$.

-
What does that two-arrow symbol mean? –  Rasmus Bentmann Jul 12 '13 at 12:10
This means that the expression on the l.h.s. tend uniformly as $h \rightarrow 0$ on $[c,d]$ to the function $g|_{[c,d]}$. –  user 1111 Jul 12 '13 at 12:16

The review: A condition is given for functions defined on an arbitrary subset of the real line with values in a Fréchet space (or even in a space of more general type) to admit a smooth extension. This condition is that the difference quotients of the corresponding orders are to be locally bounded. The results are obtained for $C^\infty$-extensions as well as for finite order extensions with locally Lipschitz derivatives. In the last case a continuous linear extension operator is constructed.