Notes for CMU 21-355 F-13: Real Analysis I