theorem Th34: :: SERIES_3:34

for s being Real_Sequence st ( for n being Nat holds s . n >= 0 ) holds
for n being Nat holds (Partial_Sums s) . n >= 0