text: По определению условного математического ожидания, E ( t − 1 ) = Pr E 0 ( t ) + Pr E 1 ( t ) . {\displaystyle E^{(t-1)}~=~\PrE_{0}^{(t)}+\PrE_{1}^{(t)}.} Поскольку взвешенное среднее двух величин всегда не меньше минимальной из них, отсюда следует E ( t − 1 ) ≥ min ( E 0 ( t ) , E 1 ( t ) ) . {\displaystyle E^{(t-1)}~\geq ~\min(E_{0}^{(t)},E_{1}^{(t)}).} Таким образом, установка x s ′ ′ {\displaystyle x'_{s'}} так, чтобы минимизировать результирующее значение E {\displaystyle E} , гарантирует, что E ≤ E {\displaystyle E\leq E} .