Solving for the bounds on the height of a balanced binary tree, deriving a proof for Binet's formula, and finding room for improvement in Donald Knuth's "The...