Corollary 4.3. Assuming that:

  • En

  • A a family of subsets of [n] such that every i[n] is contained at least r sets AA

Then
|E|AA|PAE|1r.