Lecture 9 (Real Analysis 2020)