Proposition:for .

Proof:We will prove the proposition by induction on a variable .

If , we have or , which is true.

Assume: for

Taking , we have

Multiplying by k+1, we have

or

And since , the minimum value we can have for is 5, so we have

or

By transitivity, we have

Hence, for , QED