  A. Lacasse conjectured a combinatorial identity in his study of learning
theory. Various people found independent proofs. Here is another one that is
based on the study of the tree function, with links to Lamberts $W$-function
and Ramanujan's $Q$-function. It is particularly short.
