設 為任意三角多項式
|
(1)
|
具有實數係數,設 為在區間
上可積的函式,並設
階導數
在
中有界。則存在一個多項式
使得
|
(2)
|
對於所有 ,其中
是可能的最小常數,稱為第
階 Favard 常數。
可以用以下求和式顯式給出
|
(3)
|
它可以根據 Lerch 超越函式 寫成
|
(4)
|
這些可以表示為
|
(5)
|
其中 是 Dirichlet lambda 函式,而
是 Dirichlet beta 函式。 顯式地,
|
(6)
| |||
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
|