higher bound on the

tree root node width bound width bound✕