Cellérier function

Let $a>1000$. The Cellérier function is defined as $$C(x)=\displaystyle\sum_{k=1}^{\infty} \dfrac{1}{a^k} \sin\left(a^k x).$$

Theorem: The Cellérier function is continuous.

Proof: █

Theorem: The Cellérier function is nowhere differentiable.

Proof: █

References

[1]