This video goes through finding first derivatives using the chain rule. I work 4 examples and I end the video with a formal (ish) proof.
No download links available.