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 .