Consider the trigonometric polynomial

of degree

such that not all of the

and

are zero. Babenko's theorem (1984) states that the measure of the subset of

for which

is at least

. The unique extremal polynomial, positive exactly on the interval

and normalized so that

, is constructed and shown for small values of

.