Nested intervals/Euler's number/Fact/Proof/Exercise