szemeredi's theorem states that every set of integers $a$ with positive density contains an arithmetic progression of length $k$ for any $k\ge 3$. the case $k=3$ was originally proven by roth. in this talk we go through the proof of roth's theorem, as well as other related ideas such as salem sets and gower's norms.