We prove the Nested Interval Theorem and use it to prove that 2 has a real square root. This example serves as a precursor to our later proof of the Intermediate Value Theorem.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
