On pose, pour tout $x \in \mathbb{R}$ : $$f(x) = \sum_{n=0}^{+\infty} \frac{\sin(2^n x)}{2^n}$$
  1. Prouver que $f$ est continue sur $\mathbb{R}$.
  2. Calculer $\displaystyle\int_0^{\pi} f(x)\,dx$.
    1. Soit $x \in \mathbb{R}$. Déterminer une égalité simple reliant $f(2x)$, $f(x)$ et $\sin x$.
    2. Déduire de 3.a, en raisonnant par l'absurde, que $f$ n'est pas dérivable en $0$.