higher bound on width

is let less width bound width self✕