Completeness of the real numbers (source code)

= Completeness of the real numbers
{wiki}

Every Cauchy sequence of real numbers converges to a real number.