令 為 復 解析函式
的集合,這些函式定義在包含 閉集 的 單位圓盤
的開區域上,並滿足
和
。對於
中的每個函式
,令
為所有數
的上確界,使得在
中存在一個子區域
,函式
在
上是單射的,並且
包含一個半徑為
的圓盤。在 1925 年,Bloch (Conway 1989) 證明了
。
布洛赫常數定義為
|
(1)
|
Ahlfors 和 Grunsky (1937) 推匯出
|
(2)
|
Bonk (1990) 證明了 ,隨後被改進為
(Chen and Gauthier 1996; Xiong 1998; Finch 2003, p. 456)。
Ahlfors 和 Grunsky (1937) 也推測上限實際上是 的值,
|
(3)
| |||
|
(4)
| |||
|
(5)
|
(OEIS A085508; Le Lionnais 1983)。