-2

Prove the following: $$\frac{1}{1+k}=\frac{\frac{1}{k}}{1+\frac{1}{k}}\leq \ln(1+\frac{1}{k})\leq\frac{1}{k}$$

I know I can prove it with induction if the values were naturals. However, the "problem" for me is that they're real.

3 Answers3

5

For all $x \in \mathbb{R}$, $$e^x \geq 1 + x$$ Taking log on both sides we get, $$\ln (1 + x) \leq x, \forall x > -1$$ Substituting $x = \frac{1}{k}, k \notin [0, -1]$, we get, $$\displaystyle{\ln \left(1 + \frac{1}{k}\right) \leq \frac{1}{k}}$$ Substituting $x = \frac{-1}{k + 1}, k \notin [0, -1]$, we get, $$\ln \left(\frac{k}{k + 1}\right) \leq \frac{-1}{k + 1}\Rightarrow \ln \left(1 + \frac{1}{k}\right) \geq \frac{1}{k + 1} $$

TenaliRaman
  • 3,846
3

Set $f:[k,k+1]\to\mathbb{R}$ given by $f(x)=\log(x)$

Then, $f$ is continuous in $[k,k+1]$ and differentiable in $(k,k+1)$. Thus, there is $\xi\in(k,k+1)$ such that $\frac{f(k+1)-f(k)}{k+1-k}=f^\prime(\xi)$.

That is $\log(k+1)-\log(x)=\frac{1}{\xi}$ for some $\xi\in(k,k+1)$. Then

$$\frac{1}{k+1}<\frac{1}{\xi}=\log(k+1)-\log(k)=\log\frac{k+1}{k}=\log(1+\frac{1}{k})<\frac{1}{k}$$

sinbadh
  • 7,521
  • But $log(x)$ is defined it all $R^+$ and you showed for $[k,k+1]$. Does it works because you can vary this $k$? – Jelly Belly Feb 02 '16 at 10:45
0

For $x>0$ we have $$\log (1+x)=\int_1^{1+x}\frac {1}{y}dy<\int_1^{1+x}1dy=x.$$ And we have $$-\log \frac {x}{1+x}=\int^1_{x/(1+x)}\frac {1}{y}dy<\int^1_{x/(1+x)}1 dy=1-\frac {x}{1+x}=\frac {1}{1+x}\implies$$ $$\log \frac {x}{1+x}>\frac {1}{1+x}.$$ For $k>0$ : From the first inequality we have $$\log (1+1/k)<\frac {1}{k}.$$ From the second inequality we have $$\log (1+1/k)= \log \frac {k}{(1+k)}>\frac {1}{1+k}.$$

  • The idea behind the second inequality is that $(1+1/x)^{-1}=x/(1+x)$ so $\log (1+x)=-\log (x/(1+x).$ So if $-B$ is an upper bound for $\log (x/(1+x)$ then $B$ is a lower bound for $\log (1+x).$ – DanielWainfleet Feb 02 '16 at 05:00
  • That should say $\log (1+1/x)=-\log (x/(1+x)$ and also that $B$ is a lower bound for $\log (1+1/x).$ – DanielWainfleet Feb 02 '16 at 05:22