A rigorous treatment of the real number system, of real sequences, and of limits, continuity, derivatives, and integrals of real-valued functions of one real variable.