higher bound on the

tree width width height width tree bound✕