higher bound on width