MDLD/converge absolutely (R)

Start=converge absolutely (R) Target=Real series/Absolute convergence/Definition