Real numbers/Sequence/Increasing and decreasing/Definition