Sea $\mathbb{N}_0$ el conjunto de los enteros no negativos. Determine todos los enteros no negativos $k$ para los cuales existe una función $f: \mathbb{N}_0 \to \mathbb{N}_0$ tal que $f(2024) = k$ y $f(f(n)) \leq f(n+1) - f(n)$ para todos los enteros no negativos $n$.