Real series/Absolute convergence/Definition