Exploring the Infinite (An Introduction to Proof and Analysis)