theorem :: MEASURE6:2

for F being sequence of ExtREAL st F is nonnegative holds
0. <= SUM F