higher bound on width
is at most width less ___