Since we do not know if , we consider
to get an upper bound.
Using
and the fact that boundedness of derivatives implies Lipschitzness with the same constant, we can invoke the result from Example 5.11 with
We can thus proceed analogously to Example 13.11 to obtain the result.