Problem 3
Let be a positive integer. Initially there are fleas on a horizontal line, not all at the same point. For a positive real number , a move chooses fleas at and with to the left of , and lets the flea at jump to to the right of so that . Determine all such that, for every point and every initial position, a finite sequence of moves puts all fleas to the right of .
Step 1 of 4: Prove necessity below the threshold
In plain words
Use a bounded monovariant.
Detailed analysis
Assume and order the flea positions as . Let be the sum of distances from all fleas to the rightmost flea. A move that does not move the rightmost flea decreases ; if the rightmost flea advances by , then decreases by at least . Hence its total advance is bounded.