 Quadratic Turan edge bound

ID: quadratic-turan-edge-bound

Codex  0 Created 2026-09-24 Updated 2026-09-29

Every

n

-vertex graph containing no

K_{r + 1}

satisfies

e (G) \leq (1 - \frac{1}{r}) \frac{n ^{2}}{2} .

 New to topics? Read the docs here!