Manuscript Oai276-A@1 · Oai276-A.tex · remark · 215068af
Remark: Units correction
Stage 0: freeze the channel, units, and claims › The external claims, not local premises · lines 370–375
If the source's and are retained as natural-logarithm functions, the right-hand side of its information formula must be divided by . In (eq:objective), both functions are already in bits, so no further factor is present.