Mantel’s theorem

Every graph of order $n$ and size greater than $\lfloor n^2/4\rfloor$ contains a triangle (cycle of order 3).