Incluido o lema de monotonicidade da integral de funções não-negativas