2
votes
1answer
238 views

Mathematica fails with boolean simplification with exponents

I have a truly simple inequality, which I want to prove using Mathematica: $$ a^x \geq 1 ,\quad \quad with \quad 1\leq a \quad and \quad 1\leq x \quad a,x \in R$$ This is obviously true. When I try ...
2
votes
1answer
306 views

Working with Conditions or Assumptions in Mathematica with boolean operators

I have the following code: $Assumptions = {x > 0} b[x_] := x^2 b'[x] > 0 In my (very basic) understanding of Mathematica, this should give me me the Output ...