Overcrowding asymptotics for the Sine_beta process

We give overcrowding estimates for the Sine_beta process, the bulk point process limit of the Gaussian beta-ensemble. We show that the probability of having at least n points in a fixed interval is given by $e^{-\frac{\beta}{2} n^2 \log(n)+O(n^2)}$ as $n\to \infty$. We also identify the next order term in the exponent if the size of the interval goes to zero.