リプシッツ連続
Lipschitz continuity
定義域内の任意の
$ x_0, x_1
に対して、
$ |f(x_0)-f(x_1)|\le L|x_0-x_1|
をみたす
$ L>0
が存在する関数