The goal of this paper is to present a self-contained exposition of Roth’s celebrated theorem on arithmetic progressions. We also present two different stronger versions of Roth’s theorem for two different notions of optimal sets.