OFFSET
2,2
COMMENTS
Let L = floor(log_2(n)), and let T(n,k) = A392091(n,k) for 1 <= k <= L. Consider the consecutive pairs (T(n,1),T(n,2)), (T(n,3),T(n,4)), ... . Then a(n) is the maximum of the absolute differences within these pairs; if L is odd, the final term is paired with 0. Since A380049(n) = Sum_{k=1..L} (-1)^(k-1)*T(n,k), a(n) is the largest absolute value among the pairwise contributions arising from these consecutive pairs in that alternating row sum.
FORMULA
Let L = floor(log_2(n)). Define U(n,k) = A392091(n,k) for 1 <= k <= L, and U(n,k) = 0 for k > L. Then a(n) = max_{1 <= r <= ceiling(L/2)} |U(n,2*r-1) - U(n,2*r)|.
EXAMPLE
MATHEMATICA
ClearAll[omega, T, a]; omega[n_] := Total[Last /@ FactorInteger[n]]; T[n_, k_] := Sum[Boole[omega[m] == k] (n - m + 1), {m, 2, n}]; a[n_] := Max[Table[Abs[T[n, r] - T[n, r + 1]], {r, 1, Floor[Log[2, n]], 2}]]; Table[a[n], {n, 2, 70}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Tsuyoshi Hanatate, Mar 31 2026
STATUS
approved
