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 no,
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} = 2L = 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.