2n ≤ 2n+1 − 2n-1 − 1
Is it true for n = 1?
21 ≤ 22 - 20 - 1
2 ≤ 4 - 1 - 1
2 ≤ 2
is it true for n?
2n ≤ 2(2n) - (1/n)2n - 1
0 ≤ 2n - (1/2)2n - 1
1 ≤ (1/2)2n
2 ≤ 2n Which is true for all n ≥ 1
If true for n (Yes), is it true for n+1
2n+1 ≤ 2n+2 - 2n - 1
21 ≤ 22 - 1 - 1/2n
2 + 1 + 1/2n ≤ 22
3 + 1/2n ≤ 4
1/2n ≤ 1
which is true for every n ≥ 0 , and n ≥ 1 anyway
having established
1) true for 1
2) if true for n, then true for n+1
we have met the requirements for proof by mathematical induction.