theorem Th8: :: MEASURE7:8

for F being sequence of ExtREAL st F is V99() holds
for n, k being Nat st n <= k holds
(Ser F) . n <= (Ser F) . k