MDLD/convergent sequence (R)

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