V.T57 — Defect entropy is bounded

Defect entropy is bounded: 0 <= S_def(n) <= S_def(0) for all n >= 0, where S_def(0) is the initial defect entropy. Defect entropy can never exceed its initial value and is always non-negative.