I taught the proof inclusion-exclusion principle to CS students yesterday. While the proof is not too long, it does involves quite a bit notations. I could feel that most students lost interests a few minutes into the proof.

When we teach a proof that takes longer than 5 minutes, how can we help students to follow? Or maybe we should just ask students to read proofs by themselves?