estimating definite integrals