Algebra · real student question

Solve the inequality x^x > 1 for positive x.

Question

Solve

xx>1x^{x}>1

for x>0x>0.

Step-by-step solution

  1. Fix the domain first. For xxx^{x} to be defined as a real number in the usual way, take x>0x>0: the expression xx=exlnxx^{x}=e^{x\ln x} requires a positive base. (Negative bases give real values only at isolated rationals with odd denominators, so the standard reading restricts to x>0x>0.)

  2. Take logarithms — legal because both sides are positive. The natural logarithm is strictly increasing, so it preserves the inequality:

    xx>1    ln ⁣(xx)>ln1    xlnx>0x^{x}>1\iff\ln\!\left(x^{x}\right)>\ln1\iff x\ln x>0

    using ln(xx)=xlnx\ln\left(x^{x}\right)=x\ln x and ln1=0\ln1=0. The exponential inequality has become a product-sign question.

  3. Analyse the sign of the product. On the domain x>0x>0 the first factor xx is always positive, so the sign of xlnxx\ln x is decided entirely by lnx\ln x:

    xlnx>0    lnx>0    x>1x\ln x>0\iff\ln x>0\iff x>1

  4. State the solution set.

    x>1,i.e.(1,)x>1,\qquad\text{i.e.}\qquad(1,\infty)

    At x=1x=1 the value is 11=11^{1}=1, so equality holds and the endpoint is excluded ✓.

  5. Check what happens below 1. For 0<x<10<x<1, lnx<0\ln x<0 so xlnx<0x\ln x<0 and xx<1x^{x}<1. For example 0.50.5=0.50.707<10.5^{0.5}=\sqrt{0.5}\approx0.707<1 ✓, while 1.51.51.837>11.5^{1.5}\approx1.837>1 ✓. Direct evaluation confirmed the equivalence at 399399 sample points across (0,4)(0,4) ✓.

  6. Note the curiosity below 1. Although xx<1x^{x}<1 on (0,1)(0,1), it is not monotone there: it dips to a minimum of e1/e0.6922e^{-1/e}\approx0.6922 at x=1/e0.3679x=1/e\approx0.3679, then rises back toward 11 as x0+x\to0^{+}. So the inequality fails on all of (0,1](0,1] but not in a simple decreasing way.

Answer

x>1x>1

Need to solve a different problem like this? Open the solver →