Skip to main content
Tweeted twitter.com/StackMma/status/957796633294630919
Improved formatting
Source Link
m_goldberg
  • 108.1k
  • 16
  • 104
  • 259

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.

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? Thanks in advance.

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?

Source Link

Simplifying inequalities with exponents

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? Thanks in advance.