On étudie la régularité de {\displaystyle\sum\limits f_n}, où : {\forall\, n\in\mathbb{N}^{*},\forall\, x\in \mathbb{R}^+,f_n\left(x\right)=\dfrac{\text{e}^{-nx}}{(n+x)^2}}
Dans cet exercice, on voit la définition de la constante d’Euler \gamma, et le développement : {\displaystyle\sum_{k=1}^{n}\dfrac{1}{k}=\ln(n)+\gamma+\dfrac{1}{2n}+\text{o}\Bigl(\dfrac{1}{n}\Bigr)}.
Dans un espace euclidien E, on introduit la notion de matrice de Gram d’une famille de vecteurs.
On voit ensuite comment la distance d’un vecteur x à un sous espace F de E s’exprime comme le quotient des déterminants de deux matrices de Gram.
Dans {E} préhilbertien réel, soit {(e_k)_{1\le k\le n}} unitaires tels que : {\forall\, x\in E,\;\left\|{x}\right\|^2=\displaystyle\sum_{k=1}^n\left({e_k}\mid{x}\right)^2}
Montrer que {(e_k)_{1\le k\le n}} est une base orthonormée de {E}.