Lecture 4 (Real Analysis 2020)