An iteration sequence is a sequence 
of positive integers
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 
.
