Sea $f : \mathbb{N} \to \mathbb{N}$ una funcion. Supongamos que para todo $n \in \mathbb{N}$ existe una $k \in \mathbb{N}$ tal que $f^{2k}(n) = n + k$, y sea $k_n$ el mínimo valor de $k$ para el cual esto ocurre. Demuestra que la secuencia $k_1, k_2, \ldots$ no es acotada.