by multiplying out
We are showing whether or not P(k) being true causes P(k+1) to be true.
This is how induction works.
The comments in the next post "correcting" this are incorrect
If P(k) is true, then
We are showing that P(k) being true causes P(k+1) to be true
Remark: You can break down you proof into two parts: One for , and the other one,
You are to prove for all , where
Note: Keep this in mind that (Let's call it the precondition.) We will return to this later.
Here we prove statement :
For . Since this is true, we move on.
Suppose for a positive integer that is true. Then multiplying through by 2, we obtain
. Observe each step:
Next, we substitute the precondition for one of the
Next, we substitute the precondition for the in the last term.
Now, we will prove the statement
For all positive integer , . This one checked.
Suppose for all positive integer . Then multiplying through by 2, we obtain
since the smallest in the parenthesis is greater than 4. Therefore,
Consequently, for all positive integer