Let be a Graph with Vertices andEdges on Vertices without a -Clique. Then
where is the Edge Number. More precisely, the K-Graph with for is the unique Graph without a -Clique with themaximal number of Edges .See also Clique, K-Graph, Turán Graph
References
Aigner, M. ``Turán's Graph Theorem.'' Amer. Math. Monthly102, 808-816, 1995.