1
$\begingroup$

Firstly, for $n=3$,

$$3^4 > 4^3$$.

Secondly, $(n+1)^{(n+2)} > (n+2)^{(n+1)}$
Now I'm stuck.

$\endgroup$
4
  • $\begingroup$ Do you want an induction argument ? or something else suffices ? $\endgroup$
    – user252450
    Commented Sep 6, 2015 at 15:31
  • $\begingroup$ I need to simplify that thing to prove that 2n>n, 3>4 or whatever. $\endgroup$
    – Mex
    Commented Sep 6, 2015 at 15:33
  • $\begingroup$ So you want to prove it by induction ? $\endgroup$
    – user252450
    Commented Sep 6, 2015 at 15:36
  • $\begingroup$ Yes, please. Mathematical induction. $\endgroup$
    – Mex
    Commented Sep 6, 2015 at 15:38

4 Answers 4

2
$\begingroup$

Let's generalize $1$ to $k$, and consider the expression $$\frac{(n+k)^n}{n^{n+1}}=\left(\frac{n+k}{n}\right)^n\frac{1}{n}=\left(1+\frac{k}{n}\right)^n\frac{1}{n}$$ The first term, i.e. $\left(1+\frac{k}{n}\right)^n$, is an expression that is strictly increasing with $n$, and the limit is $e^k$. Hence the expression will be less than 1 whenever $n>e^k$. In the OP, $k=1$, so the expression will be less than 1 whenever $n>e$, i.e. $n\ge 3$.

$\endgroup$
0
1
$\begingroup$

A proof without induction :

Consider the function $f(x)=x^{\frac{1}{x}}$ .

The problem is equivalent with $f(n)>f(n+1)$ .

It's easy to find the derivative of $f$ : $$f'(x)=x^{\frac{1}{x}-2}(1-\ln x)$$ so $f$ is strictly decreasing for every $x>e$ and so the conclusion holds (because $e<3$) :

$$f(n)>f(n+1)$$ which means that :

$$n^{(n+1)}>(n+1)^n$$

$\endgroup$
2
  • $\begingroup$ Please explain how the problem is equivalent to $f(n)>f(n+1)$. $\endgroup$
    – vadim123
    Commented Sep 6, 2015 at 15:46
  • $\begingroup$ because $n^{n+1}>(n+1)^n$ is equivalent with $n^{\frac{1}{n}}>(n+1)^{\frac{1}{n+1}}$ (just raise both sides to the power $\frac{1}{n(n+1)}$ to see this ) which is the same as $f(n)>f(n+1)$ $\endgroup$
    – user252450
    Commented Sep 6, 2015 at 15:48
0
$\begingroup$

The inequality at stake is equivalent to $n > \left( 1+\frac{1}{n}\right)^n$.

Taking log yields $\frac{\ln n}{n} >\ln \left(1+\frac{1}{n} \right)$.

This is true since the concavity of $\log$ implies the stronger $\frac{1}{n} >\ln \left(1+\frac{1}{n} \right)$.

Using this argument, your inequality can be refined to $(n+1)^n<e^1n^n$

$\endgroup$
0
0
$\begingroup$

That is equivalent to proving that $a_n = \left(1+\frac{1}{n}\right)^n$ is an increasing sequence.

That follows, in a very straightforward way, from the AM-GM inequality, since:

$$\left(1+\frac{1}{n}\right)^n\cdot 1\leq\left(\frac{1+n\cdot\left(1+\frac{1}{n}\right)}{n+1}\right)^{n+1}=\left(1+\frac{1}{n+1}\right)^{n+1}. $$

$\endgroup$

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