higher bound on the

stack top stack age stack height bound✕