higher bound on width
is at most width width ___