higher bound on the

stack age of stack top stack node

stack node stack stack node✕