Tengo un problema matemático de un concurso antiguo (1991) en el que estoy atascado. El problema es:
Dejemos que $f(x)$ sea una función tal que $f(1)=1$ y, para $x\geq 1 $
$$ f'(x) = \frac{1}{x^2 + f^2(x)} $$
Demostrar que $\lim_{x\to\infty} f(x)$ existe, y es menor que $1 + \frac{\pi}{4}$ .
Intenté un enfoque de sustitución de la trigonometría (dejar $x=r\cos(\theta), y = r \sin(\theta)$ ), pero me quedé atascado cuando intenté hacer el cambio de variables. También pensé en calcular la forma general para $f^n(x)$ y calculando la serie de Taylor en torno a $x=1$ pero me quedé atascado en la tercera derivada y no pude ver la manera de llegar a una fórmula general.
Cualquier consejo para progresar será bienvenido. Gracias.