>>319
>そもそもオマエの独自用語『1点におけるリプシッツ連続』と通常の『リプシッツ連続』は違うだろうに！！！！

当然だろ？
（>>303より）
「Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }」
について（特に”< +∞”の場合）の説明文書は、ほとんどないよ
普通は
「｜（f(y) − f(x)）/（y − x）｜< K }」（Kは有限）だよ

（参考）
https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%97%E3%82%B7%E3%83%83%E3%83%84%E9%80%A3%E7%B6%9A
(抜粋)
写像 f: X → Y がリプシッツ連続（あるいは単にリプシッツ）であるとは、実定数 K ? 0 が存在して

d_{Y}(f(x_{1}),f(x_{2}))/d_{X}(x_{1},x_{2}) ＜＝ K (∀ x_{1},x_{2}∈ X)}
を満たすときに言う。
(引用終わり)

ところで
些末だが
「（横レスだが言わせてくれ）」は、括弧（）を外して
横レスだが言わせてくれ、 又は、 横レスだが言わせてくれ！
くらいにしてくれないかな？　括弧（）の意味（定理の当事者との関係性）をつい考えて引っかかるのでね