MDLD/converges (sequence R)

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