bibkey: pol2025a384222 authors: Omar E. Pol year: 2025 title: OEIS A384222, lengths of the 2-dense sublists of divisors of n doi: null url: https://oeis.org/A384222 claim: “Conjecture 1: row n is a palindromic composition of A000005(n). In a sublist of divisors of n the terms are in increasing order and two adjacent terms are the same two adjacent terms in the list of divisors of n. The 2-dense sublists of divisors of n are the maximal sublists whose terms increase by a factor of at most 2.” strata_touched:

• D5/S3/Factorization/TwoDenseDivisorBlocksPalindrome license: citation-only triage: anchor

OEIS A384222

Omar E. Pol’s entry, dated June 3, 2025, defines the row by splitting the increasing divisor list into maximal consecutive sublists whose adjacent ratios are at most two, then taking their lengths. Conjecture 1 states that these lengths form a palindromic composition of the divisor count A000005(n). The Lean module proves the sum and palindrome assertions for every positive n.

Verified locator

• URL: https://oeis.org/A384222