higher bound on width
width bound ___