Title: Analysis with an Introduction to Proof