Determine all non-negative integers $k$ such that there exists a function $f : \mathbb{N} \to \mathbb{N}$ satisfying the equation:
\[
f^n(n) = n + k
\]
for all $n \in \mathbb{N}$.

Let's think step by step and output the final answer within \boxed{}.
user