2 to the n is Greater than n Cubed when n is 10 and above

Theorem

 * $\forall n \in \Z, n \ge 10: 2^n > n^3$

Proof
Proof by induction:

For all $n \in \Z$ such that $n \ge 10$, let $\map P n$ be the proposition:
 * $2^n > n^3$

We note that:
 * $2^9 = 512 < 729 = 9^3$

so when $n < 10$ the proposition does not hold.

Basis for the Induction
$\map P {10}$ is the case:
 * $2^{10} = 1024 > 1000 = 10^3$

so $\map P {10}$ is seen to hold.

This is our basis for the induction.

Induction Hypothesis
Now we need to show that, if $\map P k$ is true, where $k \ge 10$, then it logically follows that $\map P {k + 1}$ is true.

So this is our induction hypothesis:
 * $2^k > k^3$

We need to show that:
 * $2^{k + 1} > \paren {k + 1}^3$

Induction Step
This is our induction step:

We note that when $k \ge 10$:

Thus:

So $\map P k \implies \map P {k + 1}$ and the result follows by the Principle of Mathematical Induction.