Problem 2
Let and be integers with , and consider all subsets of elements of the set . Each such subset has a smallest element. Let denote the arithmetic mean of these smallest elements. Prove that
Step 2 of 5: Encode the sum as a string-counting problem
In plain words
A well-chosen bijection turns an awkward weighted sum into a clean count of combinatorial objects.
Detailed analysis
Look at binary strings of length containing exactly ones. For , say the second occurs in position : there are ways to place the single earlier among the first positions, and ways to place the remaining ones after position .