Problem 6
Let be distinct positive integers and let be a set of positive integers not containing . A grasshopper starts at and makes jumps to the right, with lengths in some order. Prove that the order can be chosen so that the grasshopper never lands on a point in .
Step 3 of 5: Replace a jump that hits the last remaining mine
In plain words
If the checkpoint has no mine to its right, the longest jump can jump over the largest mine whenever the shorter path reaches it.
Detailed analysis
First suppose and there is no mine greater than . If is empty, we are done; otherwise let . Apply induction to the shorter lengths and . If the resulting path never lands on , append . If its th jump lands on , replace that jump by and put last. The new point at that stage is , and every later point is also greater than ; the final point is . The same argument handles with no mine greater than , by taking and applying induction to .