Real Analysis I, Spring 2018