Proving ##n^{1/n}## is Monotonically Decreasing

  • Thread starter Thread starter Bashyboy
  • Start date Start date
  • Tags Tags
    decreasing
Click For Summary

Homework Help Overview

The discussion revolves around proving that the sequence ##n^{1/n}## is monotonically decreasing for ##n \ge 3##. Participants are exploring various methods of proof, including mathematical induction and calculus-based approaches.

Discussion Character

  • Mixed

Approaches and Questions Raised

  • Some participants attempt to use mathematical induction, focusing on the induction step to show that if ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## holds, then ##(n+1)^{\frac{1}{n+1}} > (n+2)^{\frac{1}{n+2}}## should also hold.
  • Others suggest differentiating the function to determine monotonicity, while expressing a desire to avoid calculus techniques.
  • Several participants question the appropriateness of induction for this problem, suggesting that the inequalities may not depend on previous terms.
  • There are discussions about the convergence of the sequence and its limit as ##n## approaches infinity, with some participants proposing alternative methods to demonstrate the limit.

Discussion Status

The discussion is ongoing, with various hints and suggestions being shared. Some participants express confusion about the induction process and the implications of the limit. There is no explicit consensus on the best approach, but multiple lines of reasoning are being explored.

Contextual Notes

Participants note that ##n## represents natural numbers, and there is a focus on proving monotonicity rather than convergence alone. The discussion includes references to the Binomial theorem and the need for careful consideration of limits.

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


I am trying to show that ##n^{1/n}## is monotonically decreasing for ##n \ge 3##.

Homework Equations

The Attempt at a Solution


I am trying to prove the claim using induction. The base case is involves a trivial calculation. What I am having trouble is the induction step; i.e., assuming that ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## is true, I want to show ##(n+1)^{\frac{1}{n+1}} > (n+2)^{\frac{1}{n+2}}##.

I have written the original inequality as ##n^{n+1} > (n+1)^n## and ##n > \left(\frac{n+1}{n} \right)^n## and working with these, but i have had no success. I could use a hint.
 
Physics news on Phys.org
Would it be cheating to differentiate the continuous function x1/x? If (over a certain value of x) the differential is always negative, the function is monotonically decreasing, therefore so are its values for integral values of x.
 
the induction step starts with a(3) > a(4)

does n mean that the functions domain is natural numbers/
 
mjc123 said:
Would it be cheating to differentiate the continuous function x1/x? If (over a certain value of x) the differential is always negative, the function is monotonically decreasing, therefore so are its values for integral values of x.

I would like to avoid using derivatives and other calculus techniques

Bipolar Demon said:
the induction step starts with a(3) > a(4)

does n mean that the functions domain is natural numbers/

Yes, ##n## denotes a natural number. I am trying to show that the sequence ##n^{1/n}## converges to ##1##.
 
  • Like
Likes   Reactions: Logical Dog
Bashyboy said:
I would like to avoid using derivatives and other calculus techniques
Yes, ##n## denotes a natural number. I am trying to show that the sequence ##n^{1/n}## converges to ##1##.

1/n converges to 0 as n tends to infinty and any natural number to the power 0 is 1 (this not a proof but intuition)
you want to prove monotonicity though.

Its enough to show that the function is bounded and convergent and hence has a monotonic subsequence, but I am sure this statement is not true

i think induction is the only way, i tried it and have got nowhere :P g
 
Last edited:
Bashyboy said:

Homework Statement


I am trying to show that ##n^{1/n}## is monotonically decreasing for ##n \ge 3##.

Homework Equations

The Attempt at a Solution


I am trying to prove the claim using induction. The base case is involves a trivial calculation. What I am having trouble is the induction step; i.e., assuming that ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## is true, I want to show ##(n+1)^{\frac{1}{n+1}} > (n+2)^{\frac{1}{n+2}}##.

I have written the original inequality as ##n^{n+1} > (n+1)^n## and ##n > \left(\frac{n+1}{n} \right)^n## and working with these, but i have had no success. I could use a hint.

First, if you are trying to show that the limit is 1, then it will not be enough to show that the sequence is monotonic.

Second, induction looks out of place here, as each inequality does not appear to depend on the previous one.

A hint for the limit is to consider the sequence ##a_n = n^{1/n} - 1## and try to show that this converges to 0.
 
  • Like
Likes   Reactions: Logical Dog
PeroK said:
First, if you are trying to show that the limit is 1, then it will not be enough to show that the sequence is monotonic.

Second, induction looks out of place here, as each inequality does not immediately appear to depend on the previous.

A hint for the limit is to consider the sequence an=n1/n−1an=n1/n−1a_n = n^{1/n} - 1 and try to show that this converges to 0.

It can be done. See Eric Naslund's answer and Martin Sleziak's comment on Eric's comment: http://math.stackexchange.com/questions/76330/prove-sequence-a-n-n1-n-is-convergent

I tried to understand Sleziak's approach to induction, but I couldn't quite follow it. I understand he is proving it by contradiction; but if it really were a proof by contradiction, why wouldn't he end up with the inequalities like ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## and ##(n+1)^{\frac{1}{n+1}} \le (n+2)^{\frac{1}{n+2}}## rather than ##
(n-1)^n\ge n^{n-1}## and ##(n+1)^n> n^{n+1}##?
 
Bipolar Demon said:
1/n converges to 0 as n tends to infinty and any natural number to the power 0 is 1 (this not a proof but intuition)
you want to prove monotonicity though.

Bipolar Demon: There may be a way to boost this intuition to a proof. We can write

$$\lim_{n \rightarrow \infty} = n^{1/n} = \lim_{n \rightarrow \infty} e^{\ln n^{1/n}} = e^{\lim_{n \rightarrow \infty} \frac{\ln n}{n}}$$

where the last step invoked the composition limit law. However, in order to justly use this law, we need to show that ##\lim_{n \rightarrow \infty} \frac{\ln n}{n}## exists and, in particular, is zero.

I would like to see both of these proofs work.
 
  • Like
Likes   Reactions: Logical Dog
Bashyboy said:
It can be done. See Eric Naslund's answer and Martin Sleziak's comment on Eric's comment: http://math.stackexchange.com/questions/76330/prove-sequence-a-n-n1-n-is-convergent

I tried to understand Sleziak's approach to induction, but I couldn't quite follow it. I understand he is proving it by contradiction; but if it really were a proof by contradiction, why wouldn't he end up with the inequalities like ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## and ##(n+1)^{\frac{1}{n+1}} \le (n+2)^{\frac{1}{n+2}}## rather than ##
(n-1)^n\ge n^{n-1}## and ##(n+1)^n> n^{n+1}##?

Looks like a mess to me! Instead try the method I suggested and the next step/hint is:

##(1 + a_n )^n = n##
 
  • #10
Bashyboy said:
Bipolar Demon: There may be a way to boost this intuition to a proof. We can write

$$\lim_{n \rightarrow \infty} = n^{1/n} = \lim_{n \rightarrow \infty} e^{\ln n^{1/n}} = e^{\lim_{n \rightarrow \infty} \frac{\ln n}{n}}$$

where the last step invoked the composition limit law. However, in order to justly use this law, we need to show that ##\lim_{n \rightarrow \infty} \frac{\ln n}{n}## exists and, in particular, is zero.

I would like to see both of these proofs work.

If you assume that ##\lim_{n \rightarrow \infty} \frac{\log n}{n} = 0##, then, with ##b_n = n^{1/n}## we have:

##\lim_{n \rightarrow \infty} \log b_n = \lim_{n \rightarrow \infty} \frac{\log n}{n} = 0##

And, as ##\log## is a 1-1 function, this can only happen if ##\lim_{n \rightarrow \infty} b_n = 1##
 
  • #11
PeroK said:
Looks like a mess to me! Instead try the method I suggested and the next step/hint is:

(1+an)n=n

Hmmm...Should I be doing an ##\epsilon##-proof with this hint?
 
  • #12
Bashyboy said:
Hmmm...Should I be doing an ##\epsilon##-proof with this hint?

There's no need to get into ##\epsilon-\delta##. Instead, expand the power using the Binomial theorem and see if anything catches your eye.

That's three hints now!
 
  • #13
Bashyboy said:

Homework Statement


I am trying to show that ##n^{1/n}## is monotonically decreasing for ##n \ge 3##.

Homework Equations

The Attempt at a Solution


I am trying to prove the claim using induction. The base case is involves a trivial calculation. What I am having trouble is the induction step; i.e., assuming that ##n^{1/n} > (n+1)^{\frac{1}{n+1}}## is true, I want to show ##(n+1)^{\frac{1}{n+1}} > (n+2)^{\frac{1}{n+2}}##.

I have written the original inequality as ##n^{n+1} > (n+1)^n## and ##n > \left(\frac{n+1}{n} \right)^n## and working with these, but i have had no success. I could use a hint.

You have shown that ##n^{1/n}## is decreasing if and only if
$$\left( 1 + \frac{1}{n} \right)^n < n $$.
The binomial expansion of ##(1 + 1/n)^n## gives
$$\left( 1 + \frac{1}{n} \right)^n \leq 1 + 1 + \frac{1}{2!} + \frac{1}{3!} + \cdots + \frac{1}{n!}.$$
Go on from there.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
17
Views
3K
Replies
12
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
9
Views
2K