Hello,
the problem is to prove basic Big-O identity:
I tried following combinatorial identity, but I didn't know how to continue after using it once:
Maybe combining with this would yield some results:
Also this theorem might be useful:
Any help is appreciated. Thank you!