This is the smallest ratio of the size of a k-step image to the size of its nonempty starting set in the bottom layer. For a Plünnecke graph, the roots Dk1/k are nonincreasing. The minimum, rather than just the image of the whole layer, is essential.