V.T59 — Refinement entropy grows without bound

Refinement entropy grows without bound: S_ref(n) >= n ln p + S_ref(0) where p is the refinement prime; in particular S_ref(n) -> infinity as n -> infinity, since each refinement step adds at least ln p new defect-free paths.