In 1982, Brown and Buhler were the first to show that formula_152 In 1995, Roy Mesuhlam used a similar technique to the Fourier-analytic proof of Roth's theorem to show that formula_153 This bound was improved to formula_154 in 2012 by Bateman and Katz.