Calculus Video: Formal Definition of the Definite Integral (I)