higher bound on the

stack age of stack top stack node

is bound stack node stack✕