>>852
どんな証明だっけ？きっと任意の可算部分集合に上限があるとか下限があるとか。連続性からでしょう。

でもその連続性の定義が妥当かは考えたい。