Sea $f : N \to N$ una función tal que el conjunto $\{k | f(k) < k\}$ es finito. Demuestre que el conjunto $\{k | g(f(k)) \le k\}$ es infinito para todas las funciones $g : N \to N$.