La pregunta original era: Demuestre que no existe una función estrictamente creciente f : N N que satisfaga f (2) = 3 y f (mn) = f (m)f (n) para todo m, n N.
Pero la solución finalmente se redujo a tener que demostrar que $2^{1+\sqrt{5}}\neq 9$ . Parece muy fácil, pero no he podido hacer ningún progreso significativo. ¿Alguien tiene una forma "bonita" de demostrar que la afirmación anterior es cierta?