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

RUN-042

RUN-042 — Hard-Zeta A-U.2d.14: the round whose central theorem a real orbit can actually be asked about