Real analysis via sequences and series. (2015)