Theorem 4.9 (Alon-Boppana). Assuming that:

$G = (V, E)$ an $(n, d, λ)$ -graph

Then as

n \to \infty

λ \geq 2 \sqrt{d - 1} - O (1) .