Let
be the set of complex analytic
functions
defined on an open region containing the set closure
of the unit disk
satisfying
and
. For each
in
, let
be the supremum of all numbers
such that there is a subregion
in
on which
is one-to-one and such that
contains a disk of radius
. In 1925, Bloch (Conway 1989) showed that
.
Define Bloch's constant by
(1)
|
Ahlfors and Grunsky (1937) derived
(2)
|
Bonk (1990) proved that ,
which was subsequently improved to
(Chen and Gauthier 1996; Xiong
1998; Finch 2003, p. 456).
Ahlfors and Grunsky (1937) also conjectured that the upper limit is actually the value of ,
(3)
| |||
(4)
| |||
(5)
|
(OEIS A085508; Le Lionnais 1983).