theorem Th6: :: INTEGR25:6

for f being PartFunc of REAL,REAL st f is convergent_in+infty holds
( ex r being Real st f | (right_open_halfline r) is bounded_below & ex r being Real st f | (right_open_halfline r) is bounded_above )