Analysis with an Introduction to Proof International Edition