Entropy copies are bounded by the floored lower estimate

Every integer step's guaranteed copy count is bounded by its floored entropy lower estimate.

Since $copies = \lfloor lower\rfloor_{+}/8^{exponent} \le \lfloor lower\rfloor_{+}$ by division, this records the trivial but reusable upper bound used before any lower-bound analysis.

Formalization Note The proof unfolds the definition and applies division monotonicity.