En una compañía de $n$ personas, cada persona no tiene más de $d$ conocidos, y en esa compañía existe un grupo de $k$ personas, $k\ge d$, que no se conocen entre sí. Demuestre que el número de pares de conocidos no es mayor que $\left[ \frac{n^2}{4}\right]$.