theorem Th15: :: TAYLOR_2:15

for x being Real holds x rExpSeq is absolutely_summable