Let the entities start the j th iteration of DoubleWait within n − 1 time units from each other. Prove that if an entity x becomes leader in this iteration, then g(j ) ≥ n > g(j − 1).