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

RUN-025

RUN-025 — Hard-Zeta A-U.2e.4: the arithmetic holds, and one inference in §5 does not follow from its own premise