68
$\begingroup$

One of fundamental inequalities on logarithm is: $$ 1 - \frac1x \leq \log x \leq x-1 \quad\text{for all $x > 0$},$$ which you may prefer write in the form of $$ \frac{x}{1+x} \leq \log{(1+x)} \leq x \quad\text{for all $x > -1$}.$$

The upper bound is very intuitive -- it's easy to derive from Taylor series as follows: $$ \log(1+x) = \sum_{n=1}^\infty (-1)^{n+1}\frac{x^n}{n} \leq (-1)^{1+1}\frac{x^1}{1} = x.$$

My question is: "what is the intuition behind the lower bound?" I know how to prove the lower bound of $\log (1+x)$ (maybe by checking the derivative of the function $f(x) = \frac{x}{1+x}-\log(1+x)$ and showing it's decreasing) but I'm curious how one can obtain this kind of lower bound. My ultimate goal is to come up with a new lower bound on some logarithm-related function, and I'd like to apply the intuition behind the standard logarithm lower-bound to my setting.

$\endgroup$
1
  • 3
    $\begingroup$ Shouldn't the summation be 'n' instead of 'i' in the last equation? $ \sum_{n=1}^ \infty $ $\endgroup$
    – Julie
    Commented Jul 15, 2016 at 3:30

4 Answers 4

74
$\begingroup$

Take the upper bound: $$ \ln {x} \leq x-1 $$ Apply it to $1/x$: $$ \ln \frac{1}{x} \leq \frac{1}{x} - 1 $$ This is the same as $$ \ln x \geq 1 - \frac{1}{x}. $$

$\endgroup$
1
  • 8
    $\begingroup$ how is this "an intuition for the inequality"? This is an algebraic manipulation with no intuitions explained around it. $\endgroup$ Commented Aug 12, 2021 at 20:51
50
$\begingroup$

If you don't already know that $\log(x)=\int_1^x\frac1t\,dt$, one way to define the logarithm function is: $$\text{$\log(x)$ is the area under the curve $y=\frac1t$ from $t=1$ to $t=x$.}$$ The picture below shows that this area is sandwiched between two rectangles, each of width $x-1$. The smaller rectangle has height $1/x$, while the larger one has height $1$. In other words, we have the following inequalities:

$$(x-1)\cdot \frac1x\le\log(x)\le(x-1)\cdot 1$$

enter image description here

$\endgroup$
1
  • $\begingroup$ So far, this is the only answer that gives an intuition. $\endgroup$ Commented Oct 21, 2023 at 7:52
10
$\begingroup$

Starting from the fairly well-known, $$1 - y \leq e^{-y}$$ Rearranging, $$1 - e^{-y} \leq y$$ Substituting $y = \ln x$, $$1 - \frac{1}{x} \leq \ln x$$

TADA!

$\endgroup$
3
  • $\begingroup$ Can you give some more idea or source to read about the well known inequality. $\endgroup$ Commented Dec 24, 2020 at 15:53
  • $\begingroup$ @Cooperation math.stackexchange.com/questions/694255/… $\endgroup$ Commented Dec 25, 2020 at 7:10
  • $\begingroup$ Thanks TenaliRaman $\endgroup$ Commented Dec 25, 2020 at 13:12
4
$\begingroup$

You don't need the Taylor series to derive the upper bound: you can just compare the values at $1$, and (by differentiating) observe that for $x > 1$, $\log(x)$ is growing slower than $x - 1$, and on $x < 1$ $\log(x)$ is growing faster.

Alternatively put, and more geometrically, the line $y = x - 1$ is the tangent line to $y = \log(x)$ at $x = 1$, and $\log(x)$ is strictly concave, so the tangent lines to $y = \log(x)$ can only touch it once. Personally, I find these explanations more "intuitive" (since for example they only require elementary differentiation, and you don't have to worry about convergence of power series...)

Once you have the upper bound, the lower bound follows from the symmetries of $\log(x)$, as the other answers commented.

$\endgroup$

You must log in to answer this question.

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