Proposition: for .
Proof: We will prove the proposition by induction on a variable .
If , we have or , which is true.
Taking , we have
Multiplying by k+1, we have
And since , the minimum value we can have for is 5, so we have
By transitivity, we have
Hence, for , QED