Let a1,a2,… be a sequence of real numbers from the interval [0,1]. Prove that there is a sequence 1⩽n1<n2<… of positive integers such that
A=i,j→∞i=jlimani+njexists, i.e., for every real number ϵ>0, there is a constant Nϵ that ∣ani+nj−A∣<ϵ is satisfied for any pair of distinct indices i,j>Nϵ.