  From Alon and Boppana, and Serre, we know that for any given integer $k\geq
3$ and real number $\lambda<2\sqrt{k-1}$, there are finitely many $k$-regular
graphs whose second largest eigenvalue is at most $\lambda$. In this paper, we
investigate the largest number of vertices of such graphs.
