Prove that a balanced tree with n > 1 vertices has height at most C log n for some constant C that does not depend on n.
By induction over n, we prove that Φn+2≥an where a is the larger root of the quadratic equation a²=1+a, that is, a=(5+1)/2. (This number is usually called “the golden mean”.) It remains to apply the preceding problem.