4 Determine todos los pares $(f,g)$ de funciones del conjunto de los enteros positivos en sí mismo que satisfacen \[f^{g(n)+1}(n) + g^{f(n)}(n) = f(n+1) - g(n+1) + 1\] para todo entero positivo $n$ . Aquí, $f^k(n)$ significa $\underbrace{f(f(\ldots f}_{k}(n) \ldots ))$ . Propuesto por Bojan Bašić, Serbia