MAXIMUM EDGES WITHOUT TRIANGLE

Theorem: If a (p, q) graph G has no triangle, then q ≤ p^2 /4