Given a positive integer number , define the function on the set of all positive integer numbers to itself by
Show that preimage of every positive integer number under is a finite non-empty set of consecutive positive integer numbers.
Given a positive integer number , define the function on the set of all positive integer numbers to itself by
Show that preimage of every positive integer number under is a finite non-empty set of consecutive positive integer numbers.
It is sufficient to show that the difference is 0 or 1 for all integer numbers , and is unbounded.
Clearly, , , provides the basis for an inductive proof. If , apply the recurrence. By the induction hypothesis, is 0 or 1 and
. Notice that if and if to conclude that is indeed 0 or 1.
To show that is unbounded, suppose, if possible, that achieves its maximum value for the first time at to deduce recursively that for all positive integers ; that is, , for all positive integers . Setting yields a contradiction: . The conclusion follows.