Definite integral/Estimate for modulus/Exercise