|
|
A325116
|
|
Length of longest run of consecutive even integers having exactly n divisors.
|
|
1
|
|
|
0, 1, 1, 3, 1, 2, 1, 3, 1, 1, 1, 7, 1, 1, 1, 3, 1, 2, 1, 3, 1, 1, 1
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
1,4
|
|
COMMENTS
|
The start of the first run of exactly k consecutive even integers having exactly n divisors is A325117(n,k).
If m does not divide n, then a(n) < 2^(m-1). Proof: 2^(m-1) consecutive even integers must include one congruent to 2^(m-1) mod 2^m, and the number of divisors of this one is a multiple of m.
For m > 2, if 2*(m-1) does not divide n, then a(n) < 2^(m-1). Proof: 2^(m-1) consecutive even integers must include two congruent to 2^(m-2) mod 2^(m-1). These are 2^(m-2)*x and 2^(m-2)*(x+2) for some odd x, and x and x+2 each have n/(m-1) divisors. If 2*(m-1) does not divide n, then n/(m-1) is odd. Any number with an odd number of divisors is a square, so x and x+2 are squares, but squares cannot differ by 2.
14 <= a(24) <= 15. Dickson's conjecture implies a(24)=15.
|
|
LINKS
|
|
|
CROSSREFS
|
Cf. A119479 (with consecutive integers), A319045 (with consecutive odd integers).
|
|
KEYWORD
|
nonn,more,hard
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|