more on definite integral