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 $nto infty$. We also identify the next order term in the exponent if the size of the interval goes to zero.