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.