higher bound on height

stack less in efficiency✕