>>594
>ttps://www.axfc.net/u/3870548?key=Lipschitz
>なるべく行間が無いように、丁寧に証明を書いたつもりである。

確かに有理数で不連続無理数で微分可能な関数は存在しないですね
どうでもいいですが定理の証明の最後で(a,b)をさらに2/M幅ぐらいに制限しておけば
そのあとの分割って要らないのでは？（L=1）