has no divergent trajectories,
i.e., there exists no integer
for which
If a divergent trajectory
exists, it
cannot be equidistributed
.
Indeed if one defines
then it can be proved that the condition (2.30) implies that
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.''