higher bound on height
of stack over ___