Lecture Video: Precise Definition of Infinite Limits