Define the correct logarithm function for insert complexity.

Contains an informal proof that it works and a definition.

Also delete trailing whitespace.

Idk if this counts for credit, but this is the correct function for the complexity of insert so we'll need it.