Not sure how useful it is for competition programming, but I've used linearity of expectation for a few Project Euler problems.
I wanted to put Union bound in the probability formulation of inclusion-exclusion.