I am having trouble locating a good proof for this statement. I know how to determine the number of binomial trees is determined by using the binary representation of n. For example, 13 elements is 1101 in binary, 2^{3}+2^{2}+2^{0} So 3 binomial trees are required, and ln(13) + 1 = 3.56 > 3
I just do not know how to prove its bounded by log(n). In general, I struggle with many concepts in algorithm involving log(n)
Can someone provide a clean and concise proof of this statement?