Quadratic Turan edge bound (source code)

= Quadratic Turan edge bound
{c}

Every $n$-vertex graph containing no $K_{r+1}$ satisfies
$$
e(G)\leq\left(1-\frac1r\right)\frac{n^2}{2}.
$$