20/05/04 17:45:52 h1QOhHWW.net
>>851
仮に
0.999...が{0.9, 0.99, ...}の要素に無い場合、0.999...は{0.9, 0.99, ...}のどの要素よりも大きい実数です。
しかし{0.9, 0.99, ...}より大きい最小の実数は存在しないとのことなので、0.999...は下にunboundedな集合の要素となるでしょう。
更に、恐らく0.999...<1と主張したいようなのでこれを真と仮定するとa<0.999...<1となるようなaが存在することになります。
このようなaを求める(もしくは定義しその存在性を証明する)ことはできるのでしょうか？