Here is a simple example of an inequality which I cannot get Mathematica to state as True:

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?