higher bound on width
is at most width bound ___