0
$\begingroup$

This is the problem: $$ \frac n2 > \sum_{k=1}^n (1/k) -1$$


Here's my try.

P(1): $$\frac12 > \frac11 -1$$

$$\frac12 > 0$$

P(n) => P(n+1): $$\sum_{k=1}^{n+1} \frac1k - 1 = \sum_{k=1}^n \frac1k + \frac 1{n+1} - 1 < \frac n2 + \frac 1{n+1}$$

Now the right side of inequality is bigger than sum to $n+1$ which is bigger than sum to $n$ that means that it's bigger than sum to $n$.

We have $$\frac n2+\frac1{n+1} > \sum_{k=1}^n \frac1k - 1$$

I don't know what to do next. I wrote this above to help you to help me with this kind of problems. I get confused when i need to prove inequality using induction.

Thanks!

$\endgroup$
0

1 Answer 1

4
$\begingroup$

You almost have a complete proof.

The key point that you need to finish the proof is that if $n \ge 1$ then $\dfrac{1}{n+1} \le \dfrac{1}{1+1} = \dfrac{1}{2}$.

Hence, your inductive step $P(n) \implies P(n+1)$ can be completed as follows: $$\sum_{k=1}^{n+1} \frac1k - 1 = \sum_{k=1}^n \frac1k + \frac 1{n+1} - 1 < \frac n2 + \frac 1{n+1} \le \dfrac{n}{2}+\dfrac{1}{2} = \dfrac{n+1}{2}.$$

$\endgroup$
5
  • $\begingroup$ Is this proving $$ \frac n2 \ge \sum_{k=1}^n \frac{1}{k} -1$$ instead of $$ \frac n2 > \sum_{k=1}^n \frac{1}{k} -1$$ which is the question. $\endgroup$
    – Sathyam
    Nov 22, 2015 at 0:00
  • $\begingroup$ The question is >, but this proofs that I think. Because $\frac{n+1}2$ is $\ge \frac n2 + \frac 1{n+1}$ which is bigger than sum to $n+1$. $\endgroup$ Nov 22, 2015 at 0:10
  • $\begingroup$ I don't understand. $\endgroup$
    – Sathyam
    Nov 22, 2015 at 0:26
  • 1
    $\begingroup$ Since $\displaystyle\sum_{k=1}^{n+1}\dfrac{1}{k}-1 < \dfrac{n}{2}+\dfrac{1}{n+1} \le \dfrac{n+1}{2}$, we have $\displaystyle\sum_{k=1}^{n+1}\dfrac{1}{k}-1 < \dfrac{n+1}{2}$ (i.e. strict inequality). $\endgroup$
    – JimmyK4542
    Nov 22, 2015 at 0:47
  • $\begingroup$ ahh, I understood now . $\endgroup$
    – Sathyam
    Nov 22, 2015 at 17:54

You must log in to answer this question.

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