Попалась (без ссылки на источник) такая оценка числа независимости

графа через число вершин

и число рёбер

:

1. Неравенство настолько элементарное, что как будто оно должно быть напечатано много где (если оно верно). Но я что-то не нашёл.
2. Это похоже на перевёрнутую теорему Турана -- но для случая, когда

кратно

. А если это не так? Тогда там какая-то чехарда с остатком от деления

на

, но не исключаю, что приведённое неравенство всё-таки справедливо.
Встречал ли кто-нибудь такую формулировку?