A similar theorem exists in probability theory, called the Lovasz local lemma. I think the goal of rjpilton's analysis was to do things using elementary method

A similar theorem exists in probability theory, called the Lovasz local lemma. I think the goal of rjpilton's analysis was to do things using elementary methods. That said, you might be able to use your approach for a quick and dirty approximation.