Concise introduction to basic real analysis. (2020)