正整数集上的堆垒算法的一个性质

对于给定的自然数其中其中作其正整数码的堆垒算法产生一个序列:其中则存在，当 时。或者等于某一个常数，或者在某几个数之间循环出现。