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

RUN-015

RUN-015 — Round A-U.2b: a real elimination, and how far its own constant can go