higher bound on width
is at least ___