ForAll函数的用法（Mathematica）

1、x+1/x≥2，并不恒成立。

2、不过，当x>0的时候，上面的不等式是恒成立。

3、这种方法，可以用来证明二次均值不等式在全体实数范围内恒成立。

4、注意，这个不等式在复数范围内不成立。

5、而三次均值不等式，需要数字全是正数，才能成立。

6、可以证明，a^3+b^3+c^6>=3 a b  c^2对于任意实数c恒成立，需要：

a+b>0

7、求对于任意实数x，a x^2+b x+c≥0恒成立，a、b、c所需要满足的条件。

8、证明下面的不等式。