Real numbers/Bounded monotonic increasing sequence/Cauchy sequence/Fact