>>2
0.999...と1の間に大小関係が成立することと
0.999...>1ではないことを示す必要があります