Notes - Analysis II HT23, Boundedness theoremUNotes - Analysis II HT23, Intermediate value theoremUNotes - Analysis II HT23, Nested interval theoremU