Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 1997 / Problems / Day 1, P1

IMC 1997 · Day 1 · P1

Let {εn}n=1∞\{\varepsilon_n\}_{n=1}^{\infty} be a sequence of positive real numbers, such that lim⁡n→∞εn=0\lim\limits_{n \to \infty} \varepsilon_n = 0. Find lim⁡n→∞1n∑k=1nln⁡(kn+εn),\lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon_n \right), where ln⁡\ln denotes the natural logarithm.

Solution (official)

It is well known that −1=∫01ln⁡x dx=lim⁡n→∞1n∑k=1nln⁡(kn)-1 = \int_0^1 \ln x\,dx = \lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} \right) (Riemman's sums). Then 1n∑k=1nln⁡(kn+εn)≥1n∑k=1nln⁡(kn)→n→∞−1.\frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon_n \right) \ge \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} \right) \xrightarrow[n \to \infty]{} -1. Given ε>0\varepsilon > 0 there exist n0n_0 such that 0<εn≤ε0 < \varepsilon_n \le \varepsilon for all n≥n0n \ge n_0. Then 1n∑k=1nln⁡(kn+εn)≤1n∑k=1nln⁡(kn+ε).\frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon_n \right) \le \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon \right). Since lim⁡n→∞1n∑k=1nln⁡(kn+ε)=∫01ln⁡(x+ε) dx=∫ε1+εln⁡x dx\lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon \right) = \int_0^1 \ln (x + \varepsilon)\,dx = \int_{\varepsilon}^{1 + \varepsilon} \ln x\,dx we obtain the result when ε\varepsilon goes to 0 and so lim⁡n→∞1n∑k=1nln⁡(kn+εn)=−1.\lim_{n \to \infty} \frac{1}{n} \sum_{k=1}^{n} \ln \left( \frac{k}{n} + \varepsilon_n \right) = -1.

Similar problems

IMC 2001 · Day 1 · P3hardavg 2.8/10 · solved 20% · near-0 62% · disc 0.43