Complex Sequence is Null iff Positive Integer Powers of Sequence are Null

Theorem
Let $\sequence {z_n}_{n \mathop \in \N}$ be a complex sequence.

Then:


 * $z_n \to 0$




 * $z_n^k \to 0$ for each $k \in \N$.

That is:


 * $\sequence {z_n}_{n \mathop \in \N}$ is a null sequence $\sequence {z_n^k}_{n \mathop \in \N}$ is a null sequence for each $k \in \N$.

Necessary Condition
Suppose that:


 * $z_n \to 0$

and take $k \in \N$.

Let $\epsilon > 0$.

Then from the definition of convergent sequence we can find $N \in \N$ such that for $n \ge N$ we have:


 * $\cmod {z_n} < \epsilon^{1/k}$

then:


 * $\cmod {z_n}^k < \epsilon$

From Power of Complex Modulus equals Complex Modulus of Power, this gives:


 * $\cmod {z_n^k} < \epsilon$

for all $n \ge N$.

So:


 * $z_n^k \to 0$

Sufficient Condition
Suppose that:


 * $z_n^k \to 0$ for each $k \in \N$.

Then in particular:


 * $z_n^1 = z_n \to 0$