I think? I worked through how the induction logic actually fails.

This kind of induction only works if you can actually prove Sets 1 and 2, starting at n and n+1, actually overlap at all stages… and in this case, they don’t.