Real sequence/Increasing/Definition