  We present a proof of a combinatorial conjecture from the second author's
Ph.D. thesis. The proof relies on binomial and multinomial sums identities. We
also discuss the relevance of the conjecture in the context of PAC-Bayesian
machine learning.
