Room n+1's guest, similarly, has nowhere to go; the hotel is full. It has countably infinitely many rooms, and all of them are occupied. I can only see a shift

Room n+1's guest, similarly, has nowhere to go; the hotel is full. It has countably infinitely many rooms, and all of them are occupied. I can only see a shift of guests being possible if you momentarily ignore the initial constraints.