Since s = m(m + 1 ) (2m + 1)/6, the proof is complete. •The result quoted prior to Theorem 1 concerning the form of C� 1 follows by apply-ing Theorem 2 to the function f (x) = 1/ x on the interval [pn - m, pn + m] . Conse-quently, the number C�1 is of the same order of magnitude as 1/ n3•To study the other grouping, the frst of the two above, we let p > 1 be an arbitraryinteger. Then the series I:1 a;/ i can be written as I:1 L�1, where