Real numbers/Sequences/Bounded increasing/Convergence/Decimal expansion/Section