Пусть у нас есть связный неориентированный граф без петель и кратных ребер, в котором n вершин и m ребер. Докажите, что в нем найдется C·n² / m вершин, которые попарно не соединены ребрами, где C — какая-то абсолютная константа.