Prove 2^n < (n+2)!; \forall n \ge 0 by Induction

  • Thread starter Thread starter jonroberts74
  • Start date Start date
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
jonroberts74
Messages
189
Reaction score
0

Homework Statement

prove by induction

[tex]2^n < (n+2)!; \forall n \ge 0[/tex]

P(0)

[tex]2^0 < (0+2)![/tex] [easy]

P(k)

[tex]2^k<(k+2)![/tex]
[tex]= 2^k < (k+2)(k+1)k![/tex]

P(k+1)

[tex]2^{k+1} < (k+1+2)![/tex]
[tex]= 2^k \cdot 2 < (k+3)(k+2)(k+1)k![/tex]

its pretty clear that

[tex]2 < k+3[/tex]

how do I show that though
 
Last edited:
on Phys.org
I see you recognize that you cannot just write "[itex]2^{k+1}<((k+1)+ 2)![/itex]" since that is what you want to find- you wrote it only to remind yourself what you want to arrive at.

Your "induction hypothesis" is that [itex]2^k< (k+ 2)![/itex]. Now write [itex]2^{k+1}= 2(2^k)< 2(k+2)![/itex].

Now, use your "2< k+ 3" to get [itex]2^{k+1}< 2(k+2)!< (k+2)!(k+ 3)= (k+3)!= (k+1+2)![/itex].

To prove that 2< k+ 3, start from the fact that, since [itex]0\le k[/itex], [itex]-1< k[/itex] and add 3 to both sides.
 
  • Like
Likes   Reactions: 1 person
HallsofIvy said:
I see you recognize that you cannot just write "[itex]2^{k+1}<((k+1)+ 2)![/itex]" since that is what you want to find- you wrote it only to remind yourself what you want to arrive at.

Your "induction hypothesis" is that [itex]2^k< (k+ 2)![/itex]. Now write [itex]2^{k+1}= 2(2^k)< 2(k+2)![/itex].

Now, use your "2< k+ 3" to get [tex]2^{k+1}< 2(k+2)!< (k+2)!(k+ 3)= (k+3)!= (k+1+2)![/tex].

To prove that 2< k+ 3, start from the fact that, since [itex]0\le k[/itex], [itex]-1< k[/itex] and add 3 to both sides.


I am taking this

[itex]2^{k+1}= 2(2^k)< 2(k+2)![/itex]

by hypothesis, adding the multiple 2 to each side doesn't change the inequality

then prove 2<k+3

and do this from the fact

[tex]0 \le k[/tex] so -1<k ---> -1+3<k+3 = 2< K+3

then I can say [itex]2(2^k)< 2(k+2)! < (k+2)!(k+3)[/itex].