higher bound on width
is at most width ___