2021 • Rigorous Bounds on the Analytic S Matrix