7. Extremal graph theory