higher bound on the

tree root node width root width less✕