Manuscript En03-A@1 · En03-A.tex · proposition · 5398614e

Proposition: Optimized capacity monotonicity

Scale, records, and residual instruments › Capacity and a complete storage boundary · lines 2824–2834 · proof included or linked

En03-A@1#prop:capacity

Nested feasibility sets give $ε_{K^{'}} \leq ε_{K}$ for $K^{'} \geq K$ . They do not imply $ε_{K} \to 0$ .

Proof. An infimum over a larger set cannot increase. All feasible members may nevertheless retain a fixed positive error floor.

Nearby in this section