Alon–Boppana bound

GPTKB entity