Jensen's theorem states that for any nonconstant polynomial

with real coefficients, every nonreal root of

lies inside a disk determined by some pair of conjugate nonreal zeros of

. Blue dots are roots of

, orange dots are nonreal roots of

, and gray disks are real roots of

.