Real numbers/Bolzano Weierstraß/Fact