IMO 2014 Problem 5
- Day 2
For each positive integer , the Bank of Cape Town issues coins of denomination . Given a finite collection of such coins (of not necessarily different denominations) with total value at most most , prove that it is possible to split this collection into or fewer groups, such that each group has total value at most .
Dataset text AI-MO AoPS. Quoted with source.
Official text: IMO 2014 official English paper, page 2.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.