 Mantel theorem

Every triangle-free graph on $n$ vertices has at most $\lfloor n^2/4\rfloor$ edges.