Introduction to Analysis of the Infinite: Book I