higher bound on height

of stack in efficiency✕