Proving 2^n > n^3 for all n > 9 (updated)

Prove 2n>n3 for all n>9

Proof:

By mathematical induction.

Let A(n) denote 2n>n3.

For n=10 (base step)

210>1031024>1000

Thus, A(10) is true.

Now, assuming A(n) is true, we get:

2n>n3

Multiplying by 2 on both sides:

2n2>2n32n+1>2n3(i)

We want to deduce, for A(n+1):

2n+1>(n+1)3

To prove this, we have to prove that: (from (i))

2n3(n+1)3(ii)

(n>9)

We do this by contradiction.

Assuming (ii) is false, then 2n3<(n+1)3 must be true for all n>9.

But for n=10,

2(10)3=2000>(10+1)3=1331

Contradiction.

Thus, (ii) is true, and which follows that (i) must be true.

Consequently:

2n+1>(n+1)3

Which follows that A(n) must be true.

Therefore, by the principle of mathematical induction, we have proven that 2n>n3 for all n>9.