Skip to main content
3 of 3
edited title
kglr
  • 400.5k
  • 18
  • 488
  • 929

Resolve a conditional expression including Exists and ForAll

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?

van abel
  • 1.2k
  • 1
  • 11
  • 27