Hola Andres
Creo que no pueden pasar. Un ejemplo
k3, k-1 por que llego el k-2 y los otros siguen propagándose.
Esto no es valido ya que el medo no reordena los mensajes.
De todos modos es valida la observación de que si espero k entonces el mayor ack viajando es k-1.
Saludos