Concise introduction to basic real analysis. (2019)