Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892
Proposition: Universal bound
Order-theoretic and metric domains of dependence › Speed and legal reorderings · lines 590–598 · proof included or linked
En06-A@1#prop:speedupper
Every range- schedule satisfies .
Proof. If , the initial cone and every inner block exclude . Theorem thm:metric forces equal readout laws.