higher bound on width
width width is width most width ___