Direct simulation spends time on every second, even when very little changes. Instead, let be the time when stack becomes empty. Set for the two exterior positions.
These times are finite. The first stack loses one block every second until it is empty. Once stack is empty, stack loses one block every second while it remains nonempty. Induction shows that all stacks eventually disappear.
Two lower bounds are immediate:
Surprisingly, there is no additional delay: .
We cannot justify this by assuming that a stack shrinks continuously after it first starts: a stack may shrink, pause, and resume. To prove the equality, look at its last pause.