La fonction est continue sur
. Au voisinage de 0, on a l'équivalence
et on sait que est intégrable en 0 (par exemple car
et que est
une intégrale de Riemann intégrable en 0, ou encore avec une primitive de ).
De même, au voisinage de , on a
On en déduit que est convergente.
Le changement de variables , qui est de classe
et strictement décroissant, donne ensuite
On en déduit que .
On cherche bien sûr à se ramener à l'intégrale de la fonction précédente. Avec le changement de variables , on obtient
De même que dans le calcul de la question précédente,
et le fait qu'une primitive de
est ,
on arrive alors