show/hide this revision's text 1 [made Community Wiki]

I'd suggest TurĂ¡n's theorem, the bonus being the somehow surprising hardness of the corresponding problem for 3-uniform hypergraphs.