higher bound on height

of stack able holder proof