Higher order divided differences and derivatives Let $f:R\rightarrow R$. If there exists the finite limit  $$\lim_{(x,y) \rightarrow a \atop x\neq y} \frac{f((y)-f(x)}{y-x}$$ then obviously there is a finite derivative $f'(a)$ and is equal this limit.
What about similar problem for higher order divided differences?
May is it true that existence of finite  $$\lim_{(x_0,...,x_n)\rightarrow (a,...,a) \atop x_i \neq a} [x_0,...,x_n;f]$$ implies existence of $f^{(n)}(a)$?
If not is there connetion between high order divided differences and derivatives?
 A: In general the answer is no. For instance, if f is any odd function, then
$$\lim_{h\to 0}\frac{f(h)+f(-h)-2f(0)}{h^2}=0,$$
without any assumptions on differentiability of f. So it certainly does not follow that f''(0) exists.
A: This question is discussed in some detail here. (Derivative approximation by finite differences, Dave Eberly)
A: The answer is yes:
Assume we have a $\delta$ such that for $|x_i-a|<\delta$, we have $|[x_0,...,x_n;f]-\lim| < \epsilon$. Assume WLOG that $\lim = 0$ (by subtracting off a polynomial of degree $n$). Then if $y_0, ..., y_{n-1}$ and $z_0, ..., z_{n-1}$ are in the $\delta$-ball around $a$, we can show
$|[y_0,...,y_{n-1};f]-[z_0,...,z_{n-1};f]| < \epsilon\sum_{i=0}^{n-1}|y_i-z_i|$
by inducting on the number of $i$s such that $y_i\ne z_i$. Thus $\lim_{y_0,...,y_{n-1}\rightarrow y}[y_0,...,y_{n-1};f]$ exists, and by induction on $n$ is equal to $f^{(n-1)}(y)$. Letting the $y_i$s in the above approach $y$, and letting the $z_i$s approach $z$, we see
$|f^{(n-1)}(y)-f^{(n-1)}(z)| \le n\epsilon|y-z|$,
so $\left|\frac{f^{(n-1)}(y)-f^{(n-1)}(z)}{y-z}\right| \le n\epsilon$ for any $y,z$ in a $\delta$-ball around $a$. Taking $\epsilon$ to $0$, we see that $f^{(n)}(a)$ exists and is equal to $0$.
