OFFSET
1,2
COMMENTS
This sequence is nonincreasing since a(5) > a(6), neither is the subsequence a(2n-1), n >= 1, of record odd counts of middle divisors since a(11) = 16769025 > 12006225 = a(13), nor is the subsequence a(2n), n >= 1, of record even counts since a(32) = 413377965 > 334639305 = a(34).
a(21) > 5*10^8.
Further computed values at even indices up to 5*10^8 are a(22, 24, 26, 28, 30, 32, 34) = (38513475, 77702625, 80405325, 101846745, 218243025, 413377965, 334639305).
Observation: At present all known terms >= a(4) are divisible by 3, all >= a(10) are divisible by 7, all >= a(12) are divisible by 11.
Conjecture: For every k, there is an n such that all >= a(n) are divisible by the first k odd primes.
LINKS
Omar E. Pol, Comments on A354385.
EXAMPLE
MATHEMATICA
middleDivC[n_] := Length[Select[Divisors[n], Sqrt[n/2]<=#<Sqrt[2n]&]]
(* parameter b estimates the number of middle divisor counts for range 1...n *)
a354385[n_, b_] := Module[{list=Table[0, b], k, c}, For[k=1, k<=n, k+=2, c=middleDivC[k]; If[c>=1&&list[[c]]==0, list[[c]]=k]]; list]
a354385[2*10^7, 20] (* long computation time *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Hartmut F. W. Hoft, May 24 2022
EXTENSIONS
More terms from Amiram Eldar, Jun 07 2022
Edited by Omar E. Pol at the suggestion of N. J. A. Sloane, Jul 28 2022
STATUS
approved