＃　1=0.99999...の証明

実数の稠密性より、
Ａ＝｛ｘ∈Ｒ｜１≧ｘ｝
Ｂ＝｛ｘ∈Ｒ｜１＜ｘ｝
となるデデキント切断が可能である。
Ａの下界は１
また∀ｂ∈Ｂについてｂ≦0.99999...…①
なのでＢの上界は0.99999...
デデキント切断の性質より
1=0.99999...が示された。　Q.E.D.

これあってる？
①がすげー気になるんだが。

つか過去ログ読む気になんねー