theorem
Th4
:
:: ASYMPT_0:4
for
f
,
g
being
Real_Sequence
st
f
is
convergent
&
g
is
convergent
&
g
majorizes
f
holds
lim
f
<=
lim
g