sum of partitions with repeated elements is 2^{n-1}
Source: 2014 Brazil IMO TST 4.1
July 23, 2021
combinatorics
Problem Statement
Let be a positive integer. A partition of is a multiset (set with repeated elements) whose sum of elements is . For example, the partitions of are and . Each partition of is written as a non-descending sequence. For example, for , the list is , and . For each sequence , define . Furthermore, the of partition is . Prove that the sum of all 's in the list is