MathLabs

Problem 5

For each positive integer nn, the Bank of Cape Town issues coins of denomination 1n\tfrac{1}{n}. Given a finite collection of such coins (of not necessarily different denominations) with total value at most 99+1299+\tfrac12, prove that it is possible to split this collection into 100100 or fewer groups, such that each group has total value at most 11.
Step 2 of 6: Bounded leftover counts at every denomination
after termination: ≤1 coin of value 12m,≤2m coins of value 12m+1\text{after termination: } \le 1 \text{ coin of value } \tfrac{1}{2m},\quad \le 2m \text{ coins of value } \tfrac{1}{2m+1}
Detailed analysis

When no more merges are possible, for each mm there is at most one coin of value 1/(2m)1/(2m) and at most 2m2m coins of value 1/(2m+1)1/(2m+1). Keep each complete value-11 group aside and let gg be their number. The remaining total value is at most 9912−g=(100−g)−1299\tfrac12-g=(100-g)-\tfrac12.