4 ms·

I dunno, I just watched it and he almost immediately throws out the formality of the delta-epsilon definition and starts using infinitesimals. Thank god.