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