Lecture Video: Precise Definition of One-Sided Limits