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!