To use the bound , you need both and computed before . Interval has length . Interval has length . Both are one shorter than 's length of .
So process intervals by increasing length: first all length- (base cases), then length-, up to length-. Each cell's bounds come from the previous length level, which you've already computed.