Encuentra todas las funciones sobreyectivas $f:\mathbb{N}\to\mathbb{N}$ tales que para todos los enteros positivos $a$ y $b$ , exactamente una de las siguientes ecuaciones es verdadera: \n\begin{align*}\nf(a)&=f(b), \\ f(a+b)&=\min\{f(a),f(b)\}.\n\end{align*} \nObservaciones: $\mathbb{N}$ denota el conjunto de todos los enteros positivos. Se dice que una función $f:X\to Y$ es sobreyectiva si para cada $y\in Y$ existe $x\in X$ tal que $f(x)=y$ .