Analysis: With an Introduction to Proof