18.100A Real Analysis (Fall 2020, MIT OCW). Instructor: Dr. Casey Rodriguez. This course covers the fundamentals of mathematical analysis: convergence of sequences and series, continuity, differentiability, Riemann integral, sequences and series of functions, uniformity, and the interchange of limit operations. It shows the utility of abstract concepts through a study of real numbers, and teaches an understanding and construction of proofs.
(from ocw.mit.edu)
Lecture 16 - The Min/Max Theorem and Bolzano's Intermediate Value Theorem
Instructor: Dr. Casey Rodriguez. We prove some of the most useful tools of calculus: the Min/Max theorem or the Extreme Value Theorem (EVT) and the Intermediate Value Theorem (IVT). Is every hypothesis in these theorems required?