theorem Th5: :: INTEGR25:5

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