US-TST 2014 Problem 6

For a prime $p$, a subset $S$ of residues modulo $p$ is called a sum-free multiplicative subgroup of $\mathbb{F}_{p}$ if - there is a nonzero residue $\alpha$ modulo $p$ such that $S=\left\{1, \alpha^{1}, \alpha^{2}, \ldots\right\}$ (all considered $\bmod p$ ), and - there are no $a, b, c \in S$ (not necessarily distinct) such that $a+b \equiv c(\bmod p)$. Prove that for every integer $N$, there is a prime $p$ and a sum-free multiplicative subgroup $S$ of $\mathbb{F}_{p}$ such that $|S| \geq N$.