Theorem F constrains the possible behavior of divergent trajectories.
Indeed, associated to any divergent trajectory is the
infinite set and for all
.
Since for all , Theorem F implies that
where .
Roughly speaking, (2.32) asserts that the elements of a divergent
trajectory cannot go to infinity ``too slowly.''
and 
for all
.
Since 
for all 
, Theorem F implies that
where 
.
Roughly speaking, (2.32) asserts that the elements of a divergent
trajectory cannot go to infinity ``too slowly.''
Annotation Form Interface