Mantel theorem
= Mantel theorem
{c}
Every triangle-free graph on $n$ vertices has at most $\lfloor n^2/4\rfloor$ edges.
This is the triangle-free case of <Turán's theorem>.
= Mantel theorem
{c}
Every triangle-free graph on $n$ vertices has at most $\lfloor n^2/4\rfloor$ edges.
This is the triangle-free case of <Turán's theorem>.