I don't know the Resolve
function exactly, especially when involved with Exists
and ForAll
, could you please help me in the following example?
$\forall C$, can we find some $x>0$, such that $$ c(x)=(C+2x)x^2+C^2x+2Cx^2+C\geq0, $$ and $$ C<-2x $$ holds at the sametime?