>>601
第３段で R' ＝ S という等式が導かれていることに注目されたい。
R' は非有界だったから、これと R' ＝ S より、S も非有界となるのだ。
このことはちゃんと

＞R'＝S。R'は非有界だったから、Sは非有界となる。

と明示してあるだろう。「落ち着いてよく読んでみなさい」と言っただろうが。
・・・その一方で、カントール集合は もちろん「有界」である。
つまり、>>600の議論では、有界であるはずのカントール集合が非有界となってしまう。
なぜこのような事態が起こっているのか？