We have

Let be a function of . For every k, we have

and

Let , we have

Substituting ​ back into

The derivative function is strictly decreasing, so we can conclude that

Add all numbers together we have

So we have

We know that , so we get