4 Halle todos los pares de enteros positivos \( (a, b) \) tales que \( f(x) = x \) es la única función \( f : \mathbb{R} \to \mathbb{R} \) que satisface \[ f^a(x)f^b(y) + f^b(x)f^a(y) = 2xy \quad \text{for all } x, y \in \mathbb{R}. \] Aquí, \( f^n(x) \) representa la función obtenida al aplicar \( f \) \( n \) veces a \( x \) . Es decir, \( f^1(x) = f(x) \) y \( f^{n+1}(x) = f(f^n(x))\) para todo \(n \geq 1\) .