Proposition: Limit of Nested Real Intervals

Let $(I_n)_{n\in\mathbb N}$ be nested real intervals. Then there is exactly one real number $x\in\mathbb R$ being their limit $$\lim_{n\to\infty}I_{n}=x.$$

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Forster Otto: "Analysis 1, Differential- und Integralrechnung einer Veränderlichen", Vieweg Studium, 1983
  2. Kane, Jonathan: "Writing Proofs in Analysis", Springer, 2016