The univalent Bloch-Landau constant is the infimum, over injective
holomorphic functions
on the unit disk, of
, where
is the supremum of the radii of disks contained in
.
The disk centers may vary. Equivalently, the infimum may be taken over univalent
functions normalized by
and
(Landau 1929).
Wikström (2026) obtained the analytic bound , an interval-certified bound
, and the upper bound
. Wikström (2026) reports AI assistance with
mathematical analysis, certified computation, and Lean formalization. The formal
analytic lower bound assumes the classical coefficient inequalities used in the argument.