Turán's theorem

In mathematical graph theory, Turán's theorem is a result obtained by mathematician Paul Turán pertaining to the number of edges t(n, k) in a given Turán graph T(n, k). We have: