higher bound on width
is at least width ___