Here is a simple example of an inequality which I cannot get Mathematica to state as TRUETrue
:
FullSimplify[x^a >= 1, Assumptions -> {a > 0, x > 1}]
FullSimplify[x^a >= 1, Assumptions -> {a > 0, x > 1}]
Is there a case for which the inequality is false that I haven't ruled out by the assumptions? Thanks in advance.