6
$\begingroup$

Yet another question of which is larger: $70^{71}$ or $71^{70}$. I solved it by observing that $f(x)=\frac{\ln(x)}{x}$ is decreasing for all $x>e$ since $f'(x)=\frac{1-\ln(x)}{x^2}<0$ for all $x>e$. Then we have $$ \begin{align*} \frac{\ln(70)}{70}>\frac{\ln(71)}{71} &\iff 71\ln(70)>70\ln(71)\\ &\iff \ln(70^{71})>\ln(71^{70})\\ &\iff e^{\ln(70^{71})}>e^{\ln(71^{70})}\\ &\iff 70^{71}>71^{70}. \end{align*} $$ I briefly search for similar problems along this idea, but didn't really find much in other ideas about how to solve this. So I open this to the group: how else might this be proved?

EDIT: So this problem is a specific case of the more general problem I apparently duplicated. However, we can extend the duplicate problem by allowing real number inputs as opposed to just integer inputs. Thus $x^{(x+1)}>(x+1)^x$ for all reals $x>e$. This is proved following the exact same proof I gave above with the appropriate substitutions: $$ \begin{align*} \frac{\ln(x)}{x}>\frac{\ln(x+1)}{x+1} &\iff (x+1)\ln(x)>x\ln(x+1)\\ &\iff \ln(x^{(x+1)})>\ln((x+1)^{x})\\ &\iff e^{\ln(x^{(x+1)})}>e^{\ln((x+1)^{x})}\\ &\iff x^{(x+1)}>(x+1)^{x}. \end{align*} $$ Thanks for the input everyone!

$\endgroup$
3
  • $\begingroup$ I think $f(x)$ is decreasing for '$x>e$'. $\endgroup$
    – zxcvber
    Commented Jun 13, 2016 at 11:06
  • $\begingroup$ Of course. I will edit it accordingly. $\endgroup$ Commented Jun 13, 2016 at 11:08
  • $\begingroup$ Related: math.stackexchange.com/questions/517555/… $\endgroup$
    – Henry
    Commented Jun 13, 2016 at 11:26

3 Answers 3

17
$\begingroup$

$$\left(1+\dfrac1{70}\right)^{70}<e<70$$

See How is $a_n=(1+1/n)^n$ monotonically increasing and bounded by $3$?

$\endgroup$
1
  • 1
    $\begingroup$ Bravo.$ $ $ $ $ $ $ $ $\endgroup$
    – dbanet
    Commented Jun 13, 2016 at 11:50
6
$\begingroup$

Comparing $70^{71}$ and $71^{70}$ is the same as comparing $70^{1/70}$ or $71^{1/71}$.

The function $f(x)=x^{1/x}$ has exactly one local maximum, at $x=e$, and so is decreasing for $x>e$.

Therefore, because $70>e$, we have $70^{1/70}>71^{1/71}$ and so $70^{71}>71^{70}$.

The same technique proves that $(n+1)^n<n^{n+1}$ for $n\geq 3$.

$\endgroup$
3
$\begingroup$

Another way, $70^{71}=70^{70}\times70$ and $71^{70}=70^{70}\times(\frac{71}{70})^{70}$. Now it's require a little calculation that imply $(\frac{71}{70})^{70}=2.699<70.$ Hence $70^{71}>71^{70}.$

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .