Keywords:
tree function, enumeration
Abstract
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.