Llamaremos erizo a un grafo en el que un vértice está conectado a todos los demás y no hay otras aristas; el número de vértices de este grafo se llamará tamaño del erizo. Se da un grafo $G$ sobre $n$ vértices (donde $n > 1$). Para cada arista $e$, denotamos por $s(e)$ el tamaño del erizo máximo en el grafo $G$, que contiene esta arista. Demuestra la desigualdad (la suma se realiza sobre todas las aristas del grafo $G$):\n\[\sum_e \frac{1}{s(e)} \leqslant \frac{n}{2}.\]