Real numbers/Cauchy sequence/Monotonic/Introduction/Section