A second course on real functions