Lemma: Normalization and operational meaning

If

then

For every input-reference state and every output event, the probability difference between actual and ideal experiments is at most $1/4$.

Proof. The first assertion is the definition of half-diamond distance. An output event is an effect $0\le E\le I$; its probability difference is bounded by the trace distance of the two output states.