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.''