The integer part of the real number $x$ is denoted $[x]$. For every real $x$ and every non-zero natural number $n$: $r_n(x) = [2^n x] - 2[2^{n-1}x]$. The map $f\in\mathcal{E}$ satisfies $Tf = f$ and $f([0,1]) = \tau$.
Let $x\in[0,1]$.
a) If $x\in[0,1[$, by choosing:
$$\alpha_n = \frac{r_1(x)}{2} + \cdots + \frac{r_n(x)}{2^n} \text{ and } \beta_n = \alpha_n + \sum_{k=n+1}^{\infty}\frac{1}{2^k},$$
prove that $f$ is not differentiable at $x$.
b) Prove that $f$ is not differentiable at $1$.