On the Average Shape of Binary Trees

The average level numbers of the leaves of a binary tree are studied, where each binary tree is regarded as being equally likely. A formula is derived for the number of binary trees with jth leaf at a prescribed level. The asymptotic behavior of the average level number of the jth leaf is determined. The average level numbers are shown to first increase and then decrease.