ISL 2013 C4
Let be a positive integer, and let be a subset of . An -partition of into parts is a representation of as a sum , where the parts belong to and are not necessarily distinct. The number of different parts in such a partition is the number of (distinct) elements in the set . We say that an -partition of into parts is optimal if there is no -partition of into parts with . Prove that any optimal -partition of contains at most different parts. (Germany)
Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.