Corollary 4.10. For all $d$, there are finitely many $(n,d,\lambda )$-graphs with $\lambda <2\sqrt{d-1}$.