>>35
任意のεを選択したとき、1-ε＜aε＜≦1
となることを示しましょう
aεが必ず[0,1)に入ることも示せば、その定理より証明できたことになりますね

>>36
基礎論でも自然数が1以上をさすこともあります
0を含むという定義は小数派ですね