0" > : c'est l'intégrale d'une fonction continue, positive, et non identiquement nulle sur l'intervalle d'intégration (par linéarité de l'intégrale et parce que la dernière intégrale est celle d'une ...