theorem Th8: :: HOLDER_1:8

for a, b being Real_Sequence st ( for n being Nat holds a . n <= b . n ) & b is convergent & a is V48() holds
( a is convergent & lim a <= lim b )