solving the definite integral