File:MathFoundations111 Real numbers and Cauchy sequences of rationals I