higher bound for height
of stack top ___