O final deixa de ser hipótese.
Antes de cada nova passagem, as posições já marcadas à direita contêm os maiores valores da entrada em ordem não decrescente. Como o maior valor ainda ativo avança para a direita durante a passagem, o sufixo ordenado cresce uma posição por vez.