Partition into distinct parts
ID: partition-into-distinct-parts
An integer partition with no repeated part. For example, the partitions into distinct parts of are , , and . If counts those with all parts at most , separating those that omit from those that use it exactly once givesfor , with , for , and negative remaining sums counted as zero. Removing the unique part gives a bijection proving the second term; retaining the same maximum there would instead allow repetitions.
New to topics? Read the docs here!