higher bound on the

tree root node width less width root✕