No estoy seguro, tal vez sea trivial... Pensé en eso durante mi ducha esta mañana.
Mi intuición es la siguiente. Sea $x'=\arg\min_x f(x)^2$ . Para todos los $h$ , deberíamos tener $$f(x+h)^2\ge f(x)^2$$ Entonces, como $f(x)>1$ tenemos $f(x)^2\ge f(x)$ . Por lo tanto, también tenemos $$f(x+h)^2\ge f(x)^2 \ge f(x)$$ Y ahora.... Estoy atascado.