Let f be a one-to-one function from X={1,2,3,...,n} onto X (so f is a bijection).
Show that there are distinct positive integers i and j such that
f^i (x) = f^j (x) for all x in X
(i and j here means compositional power, not numerical power)
and that for some positive integer k,
f^k (x) = x for all x in X