proofs of two trig limits.mp4