Archimedes' axiom