Problem 4
Doubling a valid (n-1)-weight order keeps it valid and leaves a safety margin of at least 2 at every later stage, so the tiny weight 1 can be slipped in almost anywhere without upsetting the balance, except that it has no choice on its very first move.
Take any valid order for the weights and double every weight, giving a valid order for (doubling preserves every comparison). By the previous step with , its running difference is at least from the first move onward. Now insert the missing weight : placed before the very first move it must go on the left (right would already exceed left), giving way; inserted after any of the existing moves it can go on either pan without ever making the right pan heavier, since the margin of at least absorbs the extra , giving more ways. In total there are exactly valid insertions, and undoing an insertion is exactly the forgetful map of the first step, so this exhibits a -to- correspondence from valid -weight orders onto valid -weight orders.