Weierstrass’s non-differentiable function