9.4 En cierta compañía formada por $n$ personas, cualesquiera dos tienen a lo sumo $k \geq 2$ amigos comunes. Llamemos insociable a un grupo de personas de la compañía si cada persona del grupo tiene a lo sumo un amigo dentro del grupo. Demuestre que existe un grupo insociable formado por al menos $\sqrt{\frac{2n}{k}}$ personas. M. Zorka