Random Notes of Mathematical Proofs by Hiroki Narita
気になった数学の定理の証明のノートをそのつどアップロードしていきます。（成田広樹）
2011/08/23
[29] [Nested interval theorem／区間縮小法(1)] For a sequence of closed bounded intervals {I_n} s.t. I_n ⊃ I_n+1, there is a real number that belongs to all I_n.
