MDLD/increasing sequence (R)

Start=increasing sequence (R) Target=Real sequence/Increasing/Definition