 Solution

The bound $0\le d_n\le 2^{-n-1}$ proves uniform convergence of the series by the Weierstrass M-test. Each summand is continuous and satisfies $d_n(x+1)=d_n(x)$, so its sum $t$, the Takagi function, is continuous and has period one.

For $n\ge m$, both $2^n{u}_m$ and $2^n{v}_m$ are integers, giving $d_n(u_m)=d_n(v_m)=0$. ThereforeThe corners of $d_n$ occur on the grid $2^{-n-1}\mathbb{Z}$. When $n<m$, that grid is contained in $2^{-m}\mathbb{Z}$, so the interior of $[u_m,v_m]$ contains no corner of $d_n$. Its slope on this interval is consequently $+1$ or $-1$.

The interval $[u_{m+1},v_{m+1}]$ is a half of $[u_m,v_m]$. All the old slopes persist on this half, and the new summand contributes one more slope in $\{\pm 1\}$. ThusIf $t$ had a finite derivative $L$ at $x_0$, write $t(y)=t(x_0)+L(y-x_0)+r(y)$ with $r(y)=o(|y-x_0|)$. Since $u_m\le x_0<v_m$ and both endpoints tend to $x_0$,Indeed $|v_m-x_0|+|u_m-x_0|=v_m-u_m$; when $u_m=x_0$, its remainder is zero. This is the secants straddling a differentiability point argument, including dyadic $x_0$. But the displayed increments prevent $S_m$ from converging. Hence $\boxed{t\text{ is nowhere differentiable}}$, using periodicity to cover all real $x_0$.

For the distributional derivative, set $r_n(x)=s(2^{n}x)$, using $s$ from part (iii). The change of variable in the distributional derivative pairing gives $d_n^{\prime }=r_n$; these are the Rademacher functions. Uniform convergence implies weak convergence of distributions, and the continuity of distributional differentiation allows termwise differentiation in that topology. Explicitly,This series assertion is a distributional convergence statement. Its remainder satisfies the concrete estimateIt supplies a well-defined distributional derivative even though the ordinary derivative exists nowhere.