3
$\begingroup$

I am trying to prove this statement is true for $k ≥ 4$. I don't know how to work with $k + 1$ factorial, so I'm a little lost on proving this.

$\endgroup$
2
  • 1
    $\begingroup$ So $(k + 1)! > (k + 1)^{2} \iff k! > k + 1 \iff (k - 1)! > 1 + \frac{1}{k}$. That should give you a start. $\endgroup$
    – AJY
    Feb 5, 2016 at 18:37
  • 2
    $\begingroup$ $k\ge 3$ works fine. $\endgroup$
    – lhf
    Feb 5, 2016 at 18:46

3 Answers 3

2
$\begingroup$

HINT:

Use the relationship

$$(k+1)!=(k+1)k!$$

$\endgroup$
3
  • $\begingroup$ Since $k! > (k + 1)$, does this prove the statement? Or would I have to go further? $\endgroup$
    – 123
    Feb 5, 2016 at 18:59
  • $\begingroup$ You would have to go further. $\endgroup$
    – fosho
    Feb 5, 2016 at 19:03
  • $\begingroup$ Yes, you need to pursue a bit further. $\endgroup$
    – Mark Viola
    Feb 5, 2016 at 19:17
0
$\begingroup$

First note that $$k! = k\times \bigg((k-1)\times ... \times 1\bigg) = k \times (k-1)!$$

Now

$$(k+1)!-(k+1)^2 = \color{red}{(k+1)}k!-\color{red}{(k+1)}^2$$

$$=\color{red}{(k+1)}\big(k!-(k+1)\big)$$

Here we have taken out $(k+1)$ as the common factor.

Now, let's look at that second factor, $\big(k!-(k+1)\big)$. $$k!-(k+1) = k!-k-1$$

$$ = \bigg(\color{red}{k}\cdot (k-1)! -\color{red}{k}\bigg)-1$$

$$=\color{red}{k}\bigg((k-1)!-1\bigg)-1$$

Now it is not hard to show that $${k}\bigg((k-1)!-1\bigg)-1\geq0 $$ And obviously $(k+1)>0$

So...?

$\endgroup$
3
  • $\begingroup$ Honestly, not at all, I'm pretty confused about this. I don't really understand any of those steps. $\endgroup$
    – 123
    Feb 5, 2016 at 18:55
  • 1
    $\begingroup$ Ill edit the answer. $\endgroup$
    – fosho
    Feb 5, 2016 at 18:56
  • $\begingroup$ @TK-421, is it a little clearer now and is there anything still confusing you? $\endgroup$
    – fosho
    Feb 5, 2016 at 19:07
0
$\begingroup$

Hint: For which $k$ does this argument work? $$ k! > 2k \ge k+1 $$

$\endgroup$

You must log in to answer this question.

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