Favard Constants

Let be an arbitrary trigonometric polynomial

(1)

with real coefficients, let be a function that is integrable over the interval , and let the th derivative of be bounded in . Then there exists a polynomial for which

(2)

for all , where is the smallest constant possible, known as the th Favard constant.

can be given explicitly by the sum

(3)

which can be written in terms of the Lerch transcendent as

(4)

These can be expressed by

(5)

where is the Dirichlet lambda function and is the Dirichlet beta function. Explicitly,

			(6)
			(7)
			(8)
			(9)
			(10)
			(11)

(OEIS A050970 and A050971).