Покажем, что число ребер

не превышает

(достигается для двудольного графа с (почти) равными долями).
Индукция по

(база

):
Пусть

- наименьшая степень вершин.
Тогда

, так что

.
Удаляя вершину минимальной степени, по предположению индукции имеем:

, откуда

При

последнее слагаемое меньше половинки, так что при четных

его можно отбросить, а при нечетных

его тоже можно отбросить, ибо дробная часть у первого слагаемого равна тут одной четверти.
Ответ:
