Theorem: Discrepancy stability

For a fixed interface $\Lambda$,

Thus ideal exact agreement implies perturbed discrepancy at most $ϵ$, and an ideal discrepancy larger than $ϵ$ remains nonzero.

Proof. Put $Y=\tilde{\rho }-\rho$. The reverse triangle inequality and contractivity give

Apply Lemma lem:telescope.