higher bound on height
of stack top less ___