rfindler/395-2013 — pull request #1 by maxsnew (2013-11-27 00:55:17+00:00)
Title: 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.