zetasota — Λ ≤ 0.1787854, animated

From ζ(s) to Riemann's ξ(s), the Polymath 15 normalization H₀, the de Bruijn heat flow, and the three checks that certify the bound.