higher bound on width
is let less width less width be
___