Real numbers/Nested intervals/Point/Fact