Q3 Matemática  (IMO Longlists 1977)

Em uma empresa de $n$ pessoas, cada pessoa tem no máximo $d$ conhecidos, e nessa empresa existe um grupo de $k$ pessoas, $k\ge d$, que não se conhecem. Prove que o número de pares conhecidos não é maior que $\left[\frac{n^2}{4}\right]$.