M = sup_{x ∈ L} |f'(x)|

と定義していますが、この M に対して上の不等式は示せないように思います。

M よりも大きな定数に対して示すことは容易にできると思います。