Hello there.
Stuff to consider doing edit
- Gradually renovate Szemerédi regularity lemma
- Sketch article on Gowers’ tower-type lower bound construction of the Szemerédi regularity lemma, notable because https://ems.press/content/book-chapter-files/27098 mentions the construction as a “tour-de-force” + the further research done on this, use https://link.springer.com/article/10.1007/s00493-014-3166-4 as construction used for proof sketch