Can we be absolutely sure that a polynomial vector field on the real plane has a finite number of limit cycles? Yes, one proof involves the theory of Dulac, going out into the complex domain, the resolution of singularities, the geometric theory of normal forms, and the superexact asymptotic series.