MDLD/limit (real sequence)

Start=limit (real sequence) Target=Real numbers/Sequence/Limit and convergence/Definition