Integer sequences and semidefinite programming

We show that Roth’s theorem on the discrepancy of the family of arithmetic progressions can be derived using rather standard arguments in semidefinite optimization.