higher bound on the

tree width width bound width width height✕