Home Online Mathematical Communication Gowers's Weblog FUNC1 — strengthenings, variants, potential counterexamples