So the problem with my interpretation is that I was not considering that the attacker could catchup after an infinite number of steps/time...