Divergent Real Sequence to Positive Infinity/Examples/2^n/Proof 2

Proof
Let $H \in \R_{>0}$ be given.

We have that:
 * $2^n > n$

so setting $N = H$:


 * $\exists N \in \N: 2^n > H$

for all $n > N$.