Analysis with an Introduction to Proof