A sequence of positive integers
is called an iteration sequence if there exists a strictly
increasing sequence
of positive integers
such that
and
for
,
3, .... A necessary and sufficient
condition for
to be an iteration sequence is
for all .