MDLD/convergent (sequence R)

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