Talk:Alon–Boppana bound