Effectiveness of the Bendixson-Dulac theorem