  Given a finite set of nonnegative integers A with no 3-term arithmetic
progressions, the Stanley sequence generated by A, denoted S(A), is the
infinite set created by beginning with A and then greedily including strictly
larger integers which do not introduce a 3-term arithmetic progressions in
S(A). Erdos et al. asked whether the counting function, S(A,x), of a Stanley
sequence S(A) satisfies S(A,x)>x^{1/2-\epsilon} for every \epsilon>0 and
x>x_0(\epsilon,A). In this paper we answer this question in the affirmative; in
fact, we prove the slightly stronger result that S(A,x)\geq
(\sqrt{2}-\epsilon)\sqrt{x} for x\geq x_0(\epsilon,A).
