Turan’s theoremA graph with n vertices, which contains no p-http://planetmath.org/node/1757clique with p≥2, has at most(1-1p-1)n22edges.