Real numbers/Ordering axioms/Archimedes/Intervals/Introduction/2/Section