4 Sea $ n$ un entero positivo no nulo. Un conjunto de personas se llama conjunto $ n$ - equilibrado si en cualquier subconjunto de $ 3$ personas existen al menos dos que se conocen mutuamente y en cada subconjunto de $ n$ personas hay dos que no se conocen mutuamente. Demuestre que un conjunto $ n$ - equilibrado tiene a lo sumo $ (n - 1)(n + 2)/2$ personas.