Solve
for .
Fix the domain first. For to be defined as a real number in the usual way, take : the expression requires a positive base. (Negative bases give real values only at isolated rationals with odd denominators, so the standard reading restricts to .)
Take logarithms — legal because both sides are positive. The natural logarithm is strictly increasing, so it preserves the inequality:
using and . The exponential inequality has become a product-sign question.
Analyse the sign of the product. On the domain the first factor is always positive, so the sign of is decided entirely by :
State the solution set.
At the value is , so equality holds and the endpoint is excluded ✓.
Check what happens below 1. For , so and . For example ✓, while ✓. Direct evaluation confirmed the equivalence at sample points across ✓.
Note the curiosity below 1. Although on , it is not monotone there: it dips to a minimum of at , then rises back toward as . So the inequality fails on all of but not in a simple decreasing way.
Need to solve a different problem like this? Open the solver →