MATH 302 Real Analysis, fall '20