>>633
＞ところで0.999...<1と仮定する
定義不明の0.999...を1に満たない実数と仮定するのであれば
An>0.999...を満たすnが存在するしAn>(1+0.99...)/2を満たすnも存在するよね