設 為一個 複數,則不等式
|
(1)
|
在上面圖示的透鏡形區域內成立。用實變數顯式地表示,可以寫成
|
(2)
|
其中
|
(3)
|
封閉區域的面積大約為
|
(4)
|
(OEIS A140133)。
這個區域可以用變數 引數化表示為
|
(5)
| |||
|
(6)
|
用笛卡爾座標引數化表示為,
|
(7)
| |||
|
(8)
|
這個區域與貝塞爾函式和卡普坦級數的研究密切相關 (Plummer 1960, p. 47; Watson 1966, p. 270)。
在
處達到最大值 (OEIS A085984; Goursat 1959, p. 120; Le Lionnais 1983, p. 36),該最大值由以下方程的根給出
|
(9)
|
或等價地由以下方程的根給出
|
(10)
|
正如斯蒂爾切斯指出的那樣。
對應於最大值 的最小值
是
(OEIS A033259; Plummer 1960, p. 47; Watson 1966, p. 270),這被稱為拉普拉斯極限常數。這正是拉普拉斯公式求解開普勒方程開始發散的點,由方程
的唯一實數解
給出,對於
|
(11)
|
的連分數由 [0, 1, 1, 1, 27, 1, 1, 1, 8, 2, 154, ...] 給出 (OEIS A033260)。
在
的連分數中首次出現的位置是 2, 10, 35, 13, 15, 32, 101, 9, ... (OEIS A033261)。 連分數中增量最大的項是 1, 27, 154, 1601, 2135, ... (OEIS A033262),它們出現在位置 2, 5, 11, 19, 1801, ... (OEIS A033263)。