Real numbers/Ordering/Properties/Fact/Proof/Exercise