>>26
補題1.5自体は(定義1.1から系1.4を承認した上で)多分合っていると思う
証明は最初の１文「仮定により,lim sup y→x ｜(f(y) − f(x))/(y − x)｜< N
を満たす正整数N が取れる. 」はいいとして次の式lim sup y→x ｜(f(y) − f(x))/(y − x)｜= inf δ>0 sup 0<｜y−x｜<δ ｜(f(y) − f(x))/(y − x)｜ から怪しい