higher bound on the

stack in bound stack bound less less

stack stack push top stack✕