Real Analysis I, Fall 2017