higher bound on the

stack age of stack top stack node

is bound stack stack node✕