MDLD/real sequence

Start=real sequence Target=Real numbers/Sequence/Definition