Erdős–Stone theorem — theorem in extremal graph theory