LUB2:  Arbitrarily Small Positive Rational Numbers

"For any positive real number  ε  there exists an integer  n  such that  1/n<ε."  (see ita-2-3-12-pg26)

"For the proof it suffices to choose an integer  n>1/ε  which is possible by LUB1, then use O8, which is permissible since by O7 we have  1/ε>0."  (see ita-2-3-12-pg26)

[Graphics:../Images/index_gr_242.gif]
[Graphics:../Images/index_gr_243.gif]

ita


Converted by Mathematica      December 4, 2007