quasi wrote: > >Here's a variation ... > >For x,y,z > 0, find the largest real number A such that > > x - y - z >= xyz > >implies > > x^2 + y^2 + z^2 >= Axyz > >Calculus allowed, as well as a CAS, if needed. > >Required is an algebraically exact answer for A. > >Just an answer will suffice -- no proof required.
Change that to:
Proof required, but the proof can be CAS-assisted.