Given the information that "$f(x)$ has at least 3 real roots and at most 4 imaginary roots" for a polynomial $f(x)$, the logically certain option is only (A).
The assertion is a conjunction of two propositions (symbolically, we have $P\wedge Q$):
$f(x)$ has at least 3 real roots.
$f(x)$ has at most 4 imaginary roots.
Our test is: In case that a third proposition compatible with the given options is adjoined, the truth-value of the resultant compound should not be false. Symbolically, we shall have $P\wedge Q\wedge R$.
By (1), we understand that an analysis of the polynomial secures 3 real roots, and leaves the possibility of having more open (see the question as an example).
By (2), we understand that the polynomial can have at most 4 imaginary roots, and leaves the possibility of having nought imaginary roots open.
Suppose the third proposition is
- $f(x)$ has 6 imaginary roots.
This is allowed by (D), but not by (2). Similarly, (1) controverts (B).
In the given instance, 'at least' is a stronger quantifier than 'at most', because 'at most' allows the number of imaginary roots to be rendered to nought, whereas 'at least' does not. To illustrate the point, suppose
$$f(x) = ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+g$$
Unconditionally, $f(x)$ has at most 4 imaginary roots and at least one real root. Conditionally, it may have 2 imaginary roots (hence, 3 real roots) or nought.
However, if the condition has been given that $f(x)$ has at least 3 real roots, it cannot have 4 imaginary roots.
In other words, 'at least' operates as the independent quantifier, 'at most' operates as the dependent quantifier. To better grasp what is at stake, switch their roles, and begin the argument with 'at most' as the independent quantifier (as analogous to the order of the standard quantifiers, e.g., $\exists x\forall y\ldots$). 'At least' has existential import, 'at most' does not have.
Consider the following propositions as candidates for the third proposition with respect to the preceding example:
- $f(x)$ has 4 imaginary roots (and one real root).
- $f(x)$ has 5 real roots (and no imaginary roots).
The former one is controverted by (1), while the latter one is compatible with both (1) and (2).
In logic, we work with the surest options.