car
est décroissante sur
.
En écrivant
, on obtient donc que décroît.
Par ailleurs,
, donc par
sommation
, donc . Donc , décroissante
positive, tend vers une limite finie, notée et appelée
constante d'Euler.
Définition La limite de la suite
est appelée constante d'Euler et est noté .
On obtient facilement en Maple (par la commande "evalf(gamma,500)"):