I'm looking if there is proof of the infinitude of prime numbers using probabilistic method. I am motivated by the answer of my question here. The answer is based on a relationship between independence of measurable sets and integers coprime.
More precisely ask the following.
QUESTION: There is a proof of the infinitude of primes using the Lovász Local lemma by any of several different versions of the lemma?