Supongamos que hay una secuencia $(x_n)$ tal que $x_n \to 0$ pero $h(x_n) \to 1$ no es cierto.
Luego hay un $\delta > 0$ tal que, o bien,
a) $ h(x_n) > 1 + \delta$ infinitamente muchos de los valores de $n$o,
b) $0 < h(x_n) < \dfrac{1}{1+\delta}$ infinitamente muchos
los valores de n.
Si b) posee asumir (por la elección de una larga si es necesario) que $ 0 < h(x_n) < \dfrac{1}{1+\delta}$ todos los $n$.
El acotamiento de $h(x_n)$ implica que podemos encontrar una larga $(y_n)$ $(x_n)$ tal que $\lim h(y_n) = L$ existe y $ 0 \leq L \leq \dfrac{1}{1+\delta} < 1 $.
$L \neq 0 $ 0 límite que se contradicen $h(y_n) + \dfrac{1}{h(y_n)} \to 2 $ consecuencia de la condición dada.
Pero esto implica $\dfrac{1}{h(y_n)}$ también converge a$\dfrac{1}{L}$$L + \dfrac{1}{L} = 2$$L = 1$, una contradicción a $ L < 1$.
Si $h(x_n) > 1 + \delta$ infinitamente a menudo, a continuación, $ 0 < \dfrac{1}{h(x_n)} < 1/(1+\delta)$ infinitamente a menudo, y el argumento procede de manera similar para obtener una contradicción.
Por lo tanto, para cualquier $x_n \to 0$ $h(x_n) \to 1$, por lo tanto $\lim h(x) = 1$ $x \to 0.$