Halving the Kalton-Roberts upper bound

Source: arxiv:2606.06807, url:https://github.com/boonsuan/KaltonRoberts Authors: Ho Boon Suan Status: verified Main declarations: KaltonRoberts.KR_constant_lt Tags: functional-analysis, finitely-additive-measures, kalton-roberts MSC: 46B20, 28A12, 05C35