Lecture 7 (Real Analysis 2020)