OFFSET
1,2
COMMENTS
Conjecture: a(1) is the only zero in this sequence, which is equal to the claim that A007283 gives all fixed points of the map n -> A163511(n).
Question: What can be said about the occurrence of small values later in the sequence? Does the sequence admit any lower bound that is monotonic, and keeps on growing, thus never setting to any constant value? See the scatter plot.
LINKS
Antti Karttunen, Table of n, a(n) for n = 1..15157
MATHEMATICA
f[n_] := Reverse@ Map[Ceiling[(Length@ # - 1)/2] &, DeleteCases[Split@ Join[Riffle[IntegerDigits[n, 2], 0], {0}], {k__} /; k == 1]]; Subtract @@ # & /@ Select[Array[{2 # - 1, Function[t, Prime[t] Product[Prime[m]^(f[2 # - 1][[m]]), {m, t}]][DigitCount[2 # - 1, 2, 1]]} &, 1024], #1 >= #2 & @@ # &] (* Michael De Vlieger, Jul 25 2023 *)
CROSSREFS
KEYWORD
nonn,look
AUTHOR
Antti Karttunen, Jul 25 2023
STATUS
approved