Real numbers/Sequence/Bounded monotone/Converges/Fact

A bounded and monotone sequence in