MAT-127A: Real Analysis