I was asked if I could suggest an "honest" introductory real analysis book, where "honest" means:
- with every single theorem proved (that is, no "left to the reader" or "you can easily see");
- with every single problem properly solved (that is, solved in a formal (exam-like) way).
I've studied using Rudin mostly and I liked it, but it really doesn't fit the description, so I don't know what book I should suggest. Do you have any recommendations?
Update: I need to clarify that my friend has just started to study real analysis and the course starts from the very basics, deals with real valued functions of one variable, but introduces topological concepts and metric spaces too.