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).