The map $f\in\mathcal{E}$ satisfies $Tf = f$ and $f([0,1]) = \tau$. Suppose that $f$ is differentiable on $[0,1]$.
Let $x\in[0,1]$, $(\alpha_n)_{n\geq 1}$ and $(\beta_n)_{n\geq 1}$ be two sequences of elements of $[0,1]$, convergent to $x$ and such that $\alpha_n \leq x \leq \beta_n$ and $\alpha_n < \beta_n$ for all $n$.
Show that the sequence with general term $\frac{f(\beta_n) - f(\alpha_n)}{\beta_n - \alpha_n}$ converges to $f'(x)$.
The map $f\in\mathcal{E}$ satisfies $Tf = f$ and $f([0,1]) = \tau$. Suppose that $f$ is differentiable on $[0,1]$.

Let $x\in[0,1]$, $(\alpha_n)_{n\geq 1}$ and $(\beta_n)_{n\geq 1}$ be two sequences of elements of $[0,1]$, convergent to $x$ and such that $\alpha_n \leq x \leq \beta_n$ and $\alpha_n < \beta_n$ for all $n$.

Show that the sequence with general term $\frac{f(\beta_n) - f(\alpha_n)}{\beta_n - \alpha_n}$ converges to $f'(x)$.