Например, было 4, 5, и у нас на входе 4, мы по логике должны его куда-то поставить, и мы обязаны ее ставить на второе место, то есть d1 не больше или равен d2 ключевой фактор, и мы проваливаемся в d2 и записываем,а без этого условия можно было бы записать и в d1,но тогда будет 4,5, а можно было 4,4
То есть потеряли один минимум