Lecture 1 (Real Analysis 2020)