  We prove that any increasing sequence of real numbers with average gap $1$
and Poisson pair correlations has some gap that is at least $3/2+10^{-9}$. This
improves upon a result of Aistleitner, Blomer, and Radziwill.
