Reciprocal of Null Sequence

Theorem
Let $\sequence {z_n}$ be a sequence in $\C$.

Let $\forall n \in \N: z_n > 0$.

Then:
 * $(1): \quad z_n \to 0$ as $n \to \infty$ $\size {\dfrac 1 {z_n} } \to \infty$ as $n \to \infty$


 * $(2): \quad z_n \to \infty$ as $n \to \infty$ $\size {\dfrac 1 {z_n} } \to 0$ as $n \to \infty$.

Real Numbers
If $\sequence {x_n}$ is a sequence in $\R$, the same applies.

Proof
Suppose $z_n \to 0$ as $n \to \infty$.

Let $H > 0$.

So $H^{-1} > 0$.

Since $z_n \to 0$ as $n \to \infty$, $\exists N: \forall n > N: \size {z_n} < H^{-1}$.

That is, $\size {\dfrac 1 {z_n} } > H$.

So $\exists N: \forall n > N: \size {\dfrac 1 {z_n} } > H$ and thus $\sequence {\size {\dfrac 1 {z_n} } }$ diverges to infinity.

Suppose $\size {\dfrac 1 {z_n} } \to \infty$ as $n \to \infty$.

By reversing the argument above, we see that $z_n \to 0$ as $n \to \infty$.

The statement:
 * $z_n \to \infty$ as $n \to \infty$ $\size {\dfrac 1 {z_n} } \to 0$ as $n \to \infty$

is proved similarly.

If $\sequence {x_n}$ is a sequence in $\R$, the same argument can be used directly.

Also known as
Some sources call this the reciprocal rule, but as that name is used throughout mathematical literature for several different concepts, its use is not recommended.