← AMRAL · Collatz Conjecture · Layer 2 · Recomputation · RUN-053

RUN-053

RUN-053 — Hard-Zeta A-U.2d.25: a bound that is finally sharp, and three synthetic blocks that restate their own setup