New for: D3
more succint proofs of probabilistic properties of trees. One application
is of interest for didactic reasons:
the average depth of binary search tree is shown
to be below 3 ln n, and the proof is both twice shorter than shortest
published proof, and more elementary.