higher bound on height