Chapter 42
What the Post Office Cannot Make
A shop sells stamps in only two values, pence and pence. Using any number of each, many totals can be made exactly, but not all: you cannot make p, or p, or p. What is the largest amount that cannot be made exactly?
Solution
The answer is pence. Beyond it, every amount can be made; itself cannot, and it is the last that defeats you.
The reason such a largest value exists at all is that and share no common factor. Once you can make some run of consecutive amounts, you can make everything above it, simply by adding more p stamps to climb in steps of fifteen. For two coprime values and the largest unreachable total works out to a tidy formula worth knowing.
That really cannot be made is worth proving outright. Suppose with whole numbers, none negative. Add to both sides: the right becomes , and the left becomes . So Now is a multiple of , and the right side is too, so the remaining term must also be a multiple of . Since and share no common factor, it is that has to supply the factor of , so is at least . Swapping the roles of and , the same reasoning forces to be at least . But then the left side is at least , far more than the it is supposed to equal. The contradiction shows no such exist, so is unreachable.
Everything past it, on the other hand, is reachable. The next fifteen totals can each be made, for instance and , and once fifteen consecutive totals are in hand, adding one more p stamp to each climbs through everything beyond in steps of fifteen.