Do you believe it to be bounded? Either of them?
When I first read the post, I did not think it was true.
After using a computer algebra to check many cases, I convinced myself it is true. I think the should be done by induction. But I have not found the identity needed to make it work.
Thanks TKHunny for your question, it has been usefull to establish limits to the possible outcome of the sum.
Thanks Plato for getting intrested.
Both sums are exactly the same, it requires some algebra to show this:
The question I cannot answer is expresing the sum (either of them, as they are the same) as a more compact function of M, for example: