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

RUN-043

RUN-043 — Hard-Zeta A-U.2d.15: an inequality that needs no premise, and a checker report that publishes both its honest zeros and their vacuous twins