← AMRAL · 考拉茲猜想 · 二 · 計算與重現 · RUN-019

RUN-019

RUN-019 — Round A-U.2e: every exact identity holds, and both inequalities turn out to be the same line, on the vacuous side of which every computable spine sits