MDLD/converges (real sequence)

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