Janson sequential product lemma

For containment-event indicators $I_1,\dots ,I_m$ in a Bernoulli product space,It follows by exposing the avoidance events in sequence, separating disjoint coordinate supports, and applying Harris' inequality to the remaining decreasing events.