Source: The Art of Doing Science and Engineering: Learning to learn
The Kraft inequality gives a limit on the lengths of each symbol in the alphabet.
base case: trivially true for q = 1 and q = 2
true for and
we join these trees, increasing length of each node by one, adding a factor of two to the denominator.