Cuando el puntero alcanza el extremo superior del array, ya está totalmente ordenado.