A finite polynomial bound including leakage

The affine reserve is quadratic in the common logarithmic base and each seed-width observation is cubic. Their sum obeys a single cubic bound.

theorem Algebraic.Cutwidth.Extractor.Internal.affineLeakageSourceEntropy_le (n t a target : ℕ) : affineLeakageSourceEntropy n t a target ≤ 2 ^ 258 * (t + 1) ^ 2 * (a + 1) * affinePhaseOneBase n t a (affineIterationTarget t target) ^ 3