1
$\begingroup$

Prove that the sequence:

$a_n= \frac{1}{n}\left(e\cdot\sqrt e \cdots\sqrt[3]e\cdot\sqrt[n]e\right)$ is decreasing to a finite limit. After having shown that the sequence: $b_n=\left(\sum_{k=1}^n\frac{1}{k}\right)-\log n$ converges to a positive real number $b,$ say who is the limit of $ a_n $

  • 3
    Note that $b_n=\log a_n$. The limit of the $b$s is the definition of the [Euler-Mascheroni constant](http://en.wikipedia.org/wiki/Euler%E2%80%93Mascheroni_constant).2012-01-10

2 Answers 2

1

$\eqalign{ & {a_n} = \frac{1}{n}\prod\limits_{k = 1}^n {{e^{\frac{1}{k}}}} \cr & \log {a_n} = - \log n + \sum\limits_{k = 1}^n {\frac{1}{k}} \cr & \log {a_n} = \sum\limits_{k = 1}^n {\frac{1}{k}} - \log n \cr & \mathop {\lim }\limits_{n \to \infty } \log {a_n} = \gamma \cr} $

You can prove $0 < \gamma < 1$ since we can replace $\log n$ by $\log (n+1)$ and put

$\eqalign{ & {b_n} = \sum\limits_{k = 1}^n {\frac{1}{k}} - \sum\limits_{k = 1}^n {\log \frac{{k + 1}}{k}} \cr & {b_n} = \sum\limits_{k = 1}^n {\left( {\frac{1}{k} - \log \frac{{k + 1}}{k}} \right)} \cr} $

Since we know $1 - \frac{1}{x} \leqslant \log x \leqslant x - 1$

We have

$\frac{1}{{k + 1}} \leq \log \left( {1 + \frac{1}{k}} \right) \leq \frac{1}{k}$

We can prove both bounds with this. $\eqalign{ & \frac{1}{k} - \frac{1}{{k + 1}} \geqslant \frac{1}{k} - \log \left( {\frac{{k + 1}}{k}} \right) \geqslant 0 \cr & \sum\limits_{k = 1}^n {\frac{1}{k} - \frac{1}{{k + 1}}} \geqslant \sum\limits_{k = 1}^n {\frac{1}{k} - \log \left( {\frac{{k + 1}}{k}} \right)} \geqslant 0 \cr & 1 \geqslant \sum\limits_{k = 1}^n {\frac{1}{k} - \log \left( {\frac{{k + 1}}{k}} \right)} \geqslant 0 \cr} $

The first inequality also proves each term is positive or zero (though the last is discarded by a simple look at the image), i.e

$\frac{1}{k} - \log \left( {\frac{{k + 1}}{k}} \right) \geqslant 0$

enter image description here

1

First, notice that

$\log(a_n) = \log\frac{1}{n} + \log(e\cdot\sqrt{e}\cdots\sqrt[n]{e}) = \sum_{k = 1}^n\log \sqrt[k]{e} - \log n = \sum_{k=1}^n\frac{1}{k} - \log n = b_n$

Assume that $\lim_{n\rightarrow\infty}b_n = b\in\mathbb{R}$. Then by the above equation,

$\lim_{n\rightarrow\infty}a_n = \lim_{n\rightarrow\infty}e^{b_n} = e^b$

Hence it is enough to show that $b_n$ is decreasing to a finite limit. Now, notice that

$\int_1^{n+1}\frac{1}{x}dx \leq \sum_1^n \frac{1}{k}\leq 1 + \int_1^n\frac{1}{x}dx$

In particular,

$\int_1^{n + 1}\frac{1}{x}dx - \log n \leq b_n \leq 1 + \int_1^n\frac{1}{x}dx - \log n$

so that

$\log\frac{n+1}{n} \leq b_n \leq 1$

So $\{b_n\}$ is bounded and positive. It remains to show that $b_n$ converges. Try to prove monotonicity of $b_n$.

  • 0
    Yes, decreasing, sorry!2012-01-10