  We prove that the eigenvalues $\lambda_n(c)$ of the time-frequency
localization operator satisfy $\lambda_n(c) > 1 - \delta^c$ for $n =
[(1-\varepsilon)c]$, where $\delta = \delta(\varepsilon) < 1$ and $\varepsilon
> 0$ is arbitrary, improving on the result of Bonami, Jaming and Karoui, who
proved it for $\varepsilon \ge 0.42$. The proof is based on the properties of
the Bargmann transform.
