MDLD/monotone (real sequence)

Start=monotone (real sequence) Target=Real numbers/Sequence/Increasing and decreasing/Definition