for x being Real holds x rExpSeq is absolutely_summable