Shouldn't the first entry of A021007 be 5? I.e. the first twin prime pair is (3,5), and the inequality (q_k)^2 > q_{k-i}q_{k+i} for all 1 <= i <= k-1 is vacuously true. Robert Israel University of British Columbia and D-Wave Systems