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
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