Theorem 4.15 (Marcus, Spielman, Srivastava). Assuming that:

$d \geq 3$

Then there are

(n, d, 2 \sqrt{d - 1})

-bipartite graphs for arbitrarily large

n