Useful identities

When bounding the runtime of an algorithm, it is useful to know certain identities that bound certain expressions. This note collects some of them.