higher bound on width
width width is at most ___