Tao, T. A Quantitative Ergodic Theory Proof of Szemerédi’s Theorem. Electron. J. Combin. 2006, 13, R99.