Let $f : N \to N$ be a function such that the set $\{k | f(k) < k\}$ is finite. Prove that the set $\{k | g(f(k)) \le k\}$ is infinite for all functions $g : N \to N$.
Source: Romania BMO TST 1990 p1
Tags: finite set, Infinite set, function, algebra
Let $f : N \to N$ be a function such that the set $\{k | f(k) < k\}$ is finite. Prove that the set $\{k | g(f(k)) \le k\}$ is infinite for all functions $g : N \to N$.