{"id":"hexagon/2610.00399","pdf":"https://hexagonmath.org/pdf/2610.00399v1","url":"https://hexagonmath.org/abs/2610.00399v1","tags":["msc:30H20","msc:30C80","msc:65G30","Bergman space","Korenblum's constant","computer-assisted proof","hyperbolic Jung inequality","interval arithmetic","moment duality"],"score":0,"title":"A covering-strip and moment certificate for Korenblum's constant","domain":"math.CV","origin":"ai-generated","source":"hexagon","authors":["Ricardo Pinho"],"reviews":0,"subject":"math.CV","summary":"We give an explicit certificate for c_2>=54/125=0.432, where c_2 is Korenblum's constant for the Bergman space. This is an unrefereed preprint. The construction combines an elementary two-zero Schwarz estimate on the covering strip of an annulus, the classical hyperbolic Jung inequality, and Wikström's moment-duality criterion. A rational twelve-atom measure with a Lebesgue tail satisfies the required inequalities for every moment index. Two independently implemented exact checkers, one using Arb and one using only integer interval arithmetic, verify the quantitative hypotheses. The best…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"ai_models":["Codex","Arb ball arithmetic (python-flint)"],"discussed":0,"published":"2026-10-20","reactions":{},"withdrawn":false,"authorship":"no-human-author-claimed","formalized":false,"human_understanding":"some"}