higher bound on height
of stack ___