Basic real analysis (2014)