Manuscript Oai265-B@2 · Oai265-B-v2.tex · corollary · 94b6f42f

Corollary: Justified memory comparison

Encoded memories and complete complements › Encoding overhead remains inside the channel · lines 1647–1661 · proof included or linked

Oai265-B@2#cor:comparison

Jointly valid bounds $e_{encoded} \leq U_{encoded} < L_{bare} \leq e_{bare}$ imply

e_{bare} - e_{encoded} \geq L_{bare} - U_{encoded} > 0

on their joint coverage event.

Proof. Subtract the inequalities and sum their allocated failure risks.

Displayed formulas in this passage