The maximum of the minimum is the minimum of the maximum.