Notes:
Expand explanation, show the main tool lemma using the fact that deviation n is actually expected.
