Real analysis - Simon, Barry 1946- (A comprehensive course in analysis, 2015)