OFFSET
1,1
COMMENTS
Numbers k such that k, k+d, k+2*d, k+3*d and k+4*d are consecutive deficient numbers with some d > 1. Such k with d = 1 are listed in A343302.
All known terms have d = 2. If some k is the start of 5 consecutive deficient numbers in arithmetic progression with common difference 3, then k+1, k+4, k+7 and k+10 must be 4 consecutive terms in A096399. This may happen, but each of such k has to be extremely large.
If k is an even term here, then none of k, k+d, k+2*d, k+3*d and k+4*d is divisible by 6, so d must be divisible by 3.
It seems that most terms are congruent to 5 modulo 6. The smallest term congruent to 1 modulo 6 is a(6) = 2989, and the smallest term congruent to 3 modulo 6 is a(22) = 9723.
LINKS
Jianing Song, Table of n, a(n) for n = 1..16607 (all terms <= 10^7).
EXAMPLE
347 is here since it is the start of 5 consecutive deficient numbers in arithmetic progression with common difference 2, namely 347, 349, 351, 353 and 355. Indeed, all of 348, 350, 352 and 354 are abundant.
MATHEMATICA
DefQ[n_] := DivisorSigma[1, n] < 2 n; m = 2; z1 = 2; cd = 1; a = {}; Do[If[DefQ[n], If[n - z1 == cd, m = m + 1; If[m > 4 && cd != 1, AppendTo[a, n - 4*cd]], m = 2; cd = n - z1]; z1 = n], {n, 3, 50000}]; a (* after the Mathematica program of A231626 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Jianing Song, Apr 11 2021
STATUS
approved