MDLD/converges (series R)

Start=converges (series R) Target=Real series/Introduction/Section