Fall 2023 MATH 444: Elementary real analysis