A brief review of definite integration