4 Sea $\mathbb{Z}_{\ge 0}$ el conjunto de todos los enteros no negativos. Halle todas las funciones $f: \mathbb{Z}_{\ge 0} \rightarrow \mathbb{Z}_{\ge 0} $ que satisfacen la relación \[ f(f(f(n))) = f(n+1 ) +1 \] para todo $ n\in \mathbb{Z}_{\ge 0}$ .