Basic Analysis I by Jiri Lebl