なんで{x ∈ R ｜ lim sup y→x ｜（f(y) － f(x)）/（y － x）｜< +∞ }がリプシッツになるのかわかんねｗ
それと、上極限て「y→x」みたいな使い方できたっけ？