Definition: Nested Real Intervals

Let $(I_n)_{n\in\mathbb N}$ be a sequence of closed real intervals. The sequence members $I_n$ are called nested, if $I_{n+1}$ is a proper subset of $I_n$ for all $n\in\mathbb N$, formally $$I_{n+1}\subset I_n,\quad n\in\mathbb N.$$

Propositions: 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