[leviself]

The part that makes the assertion false is "...all of which are currently occupied." Moving n to n+1 only works when that restriction is lifted.

[recursive]

No, because the people in n+1 simultaneously move to n+2. (and so on)