A note on the L1 discretization error for the Caputo derivative in Hölder spaces

We establish uniform error bounds of the L1 discretization of the Caputo derivative of Hölder continuous functions. The result can be understood as: error = (degree of smoothness - order of the derivative). We present an elementary proof and illustrate its optimality with numerical examples.