étant décroissante est minorée par , elle converge vers une limite . A la limite on a :
,
Donc . Ainsi on a bien .