Les limites trouvées à la question précédente nous permettent de dire que ,
et
tels que
on a
et
et
on a
. Ainsi,
est une fonction continue sur l'intevalle
.
Or l'image d'un segment fermé par une fonction continue est un segment fermé. Ce dernier possède donc une borne supérieure qui est etteinte par sur
. Soit
ce maximum. On peut toujours choisir
pour que
, ainsi
sera aussi le maximum de
sur
.