|
COMMENTS
|
a(3) = 0 because only squares of primes have three divisors.
From T. D. Noe, Dec 04 2004: (Start)
"Note that a(n)=0 for odd n > 1 because a number has an odd number of divisors only if it is a square and there are no consecutive positive squares. Also, a(4)=0 because one of four consecutive numbers would be a multiple of 4 and have 4 divisors only if it is 8.
"Similarly, a(6)=0 because one of six consecutive number would be a multiple of 6 and the only multiples of 6 having 6 divisors are 12 and 18. For a(8), one of the eight consecutive numbers must be an odd multiple of 4, which cannot have 8 divisors. Interestingly, the 7 consecutive numbers starting at 171893 have 8 divisors.
"Similarly, for a(10), one of the ten consecutive numbers must be an odd multiple of 4, which would have 3x divisors. It is also easy to verify that a(n)=0 for n=14,16,20,22,26,28,32,34,... It seems likely that a(n)=0 for n>2." (End)
This sequence is zero for all but finitely many n. If k = floor(log_2(n)), there must be at least one term exactly divisible by 2^j for any j < k; hence the number of divisors must be divisible by j+1, or more generally by lcm_{i<=k} i. The only values of n divisible by this lcm are 1,2,3,4,6,12,24,60 and 120. For example, for n=30, there must be an element divisible by exactly 8, so its number of divisors is divisible by 4. For n = 60, there must by two numbers 8k and 8(k+2) with k odd; then k and k+2 must each have 15 divisors, making them squares. Together with the comments from T. D. Noe, this leaves only 12, 24 and 120 as open questions. - Franklin T. Adams-Watters, Jul 14 2006
If a(120) = k > 0, then a) k+i cannot be 64 (mod 128) since 7 would divide tau(k+i); b) k+i cannot be 120 (mod 144) since then we'd need k+i = 24x^2 with x==2 (mod 3); c) k+i cannot be 168 (mod 288) since then we'd need k+i = 24x^2 with x==3 (mod 4). Hence no possibility (mod 288) exists, and a(120) = 0. - Hugo van der Sanden, Jan 12 2022
a(12) <= 247239052981730986799644. - Hugo van der Sanden, Apr 25 2022
|