Solution ComplĂšte
I. Produit infini
  1. 1. Pour tout $t \neq -1$ : \[ \frac{t^2}{1+t} = \frac{t^2-1+1}{1+t} = t-1 + \frac{1}{1+t} = \frac{1}{1+t} - (1-t) \] En intégrant sur $[0, x]$ ($x \geq 0$) : \[ \int_0^x \frac{t^2}{1+t}dt = \left[ \log(1+t) - (t - \frac{t^2}{2}) \right]_0^x \geq 0 \implies x - \frac{x^2}{2} \leq \log(1+x) \]
  2. D'aprĂšs le T.A.F sur $[0, x]$, il existe $c \in ]0, x[$ tel que $\frac{\log(1+x)}{x} = \frac{1}{1+c} \leq 1$, donc $\log(1+x) \leq x$.
  3. 2. En posant $x = \frac{k}{n}$ et en sommant : \[ \sum_{k=1}^n \left(\frac{k}{n} - \frac{k^2}{2n^2}\right) \leq \log\left(\prod_{k=1}^n (1+\frac{k}{n})\right) \leq \sum_{k=1}^n \frac{k}{n} \qquad\qquad (1)\] On a: \[\sum\limits_{k=1}^n{\frac{k}{n}}=\dfrac{1}{n}\sum\limits_{k=1}^n{k}=\dfrac{1}{n}\dfrac{n(n+1)}{2}=\dfrac{n+1}{2}\] Soit: \[\sum\limits_{k=1}^n{\frac{k}{n}}=\dfrac{n+1}{2}\] De mĂȘme: \[ \sum_{k=1}^n \left(\frac{k}{n} - \frac{k^2}{2n^2}\right)=\dfrac{n+1}{2}-\dfrac{1}{2n^2}\sum\limits_{k=1}^n{k^2}=\dfrac{n+1}{2}-\dfrac{1}{2n^2}\cdot \dfrac{n(n+1)(2n+1)}{6}\] Ce qui impliqque: \[ \sum_{k=1}^n \left(\frac{k}{n} - \frac{k^2}{2n^2}\right)=\dfrac{n+1}{2}-\dfrac{(n+1)(2n+1)}{12n}\] \[ \lim_{n \to +\infty} \prod_{k=1}^n \left(1+\frac{k}{n}\right) = +\infty \] Soit: \[ \sum_{k=1}^n \left(\frac{k}{n} - \frac{k^2}{2n^2}\right)=\frac{(n+1)(4n-1)}{12n}\] Les 2 bornes des inĂ©galitĂ©s (1) ont pour limits $+\infty$, alors: \[\lim\limits_{n\to +\infty} {\log\left(\prod_{k=1}^n (1+\frac{k}{n})\right)}=+\infty\]
II. Somme harmonique
  1. $\log(1+\frac{1}{k}) = \log(k+1) - \log(k)$.
  2. T.A.F sur $[k, k+1]$ pour $x \mapsto \log(x)$ alors il esxiste $c \in ]k, k+1[$: \[ \log(k+1)-\log(k) = \frac{1}{c}\]
  3. On a donc: \[\dfrac{1}{k+1}\leq \log(k+1)-\log(k) \leq \frac{1}{k}\qquad \qquad (2)\] En faisant la somme de 1 à n dans l'inégalité de droite ci dessus: \[\log(n+1)\leq H_n=1+\dfrac{1}{2}+\cdots +\dfrac{1}{n}\]
III. Constante d'Euler
  1. En somment les inégalite de gauche: $~k =1\cdots n$, on trouve: \[H_{n+1}-1\leq log(n+1)\] Et Donc on a pour tout $n\geq 1$: \[\gamma_n = H_n - \log(n) \leq 1\]
  2. Convergence de $\gamma_n$: On a d'aprĂšs $(2)$:
    \[\gamma_{n+1} - \gamma_n = \frac{1}{n+1} - \log(1+\frac{1}{n}) \leq 0\]
  3. La suite $(\gamma_n)$ est décroissante et minorée par $0$, donc elle converge.