Archimedes' Postulate
See
Archimedes' Lemma
© 1996-9
Eric W. Weisstein
1999-05-25