>>155のスレ主の

＞「< +∞」の解釈が問題となる

というアホな発言を思い出したのだが、もしかしたら、
スレ主は R−Bf がどういう集合を意味するのか
理解してないのかもしれない。

――――――――――――――――――――――――――――――――――
f：R → R に対して、

B_f：＝ { x∈R｜ limsup[y→x]｜(f(y)−f(x))/(y−x)｜＜＋∞ }

と定義したのだった。このとき、

R−B_f ＝ { x∈R｜ limsup[y→x]｜(f(y)−f(x))/(y−x)｜＝＋∞ }

が成り立つ。
――――――――――――――――――――――――――――――――――

これが成り立つことは理解してるだろうな？