higher bound on the

tree width width width less width height✕