TY - RPRT TI - A Motivated Rendition of the Ellenberg-Gijswijt Gorgeous proof that the Largest Subset of $F_3^n$ with No Three-Term Arithmetic Progression is $O(c^n)$, with $c=\root 3 \of {(5589+891\,\sqrt {33})}/8=2.75510461302363300022127...$ AU - Doron Zeilberger PY - 2016 UR - https://arxiv.org/abs/1607.01804 ID - 1607.01804 ER -