A tight lower bound for Szemerédi’s regularity lemma

We determine the order of the tower height for the partition size in a version of Szemerédi’s regularity lemma. This addresses a question of Gowers.