OFFSET
1,2
COMMENTS
If n is an odd prime (A065091) then a(n) = (n + 1)/2.
If n is a power of 2 (A000079) then a(n) = 2*n - 1.
If n is a perfect number (A000396) then a(n) = 1 assuming there are no odd perfect numbers.
a(n) is also the smallest nonzero term in the n-th row of triangle A296508.
The symmetric representation of sigma(n) has A001227(n) subparts.
For the definition of the "subpart" see A279387.
For a diagram with the subparts for the first 16 positive integers see A296508.
It appears that a(n) = 1 if and only if n is a hexagonal number (A000384). - Omar E. Pol, Sep 08 2021
The above conjecture is true. See A280851 for a proof. - Omar E. Pol, Mar 10 2022
EXAMPLE
For n = 15 the subparts of the symmetric representation of sigma(15) are [8, 7, 1, 8], the smallest subpart is 1, so a(15) = 1.
MATHEMATICA
(* a280851[] and support function are defined in A280851 *)
a296513[n_]:=Min[a280851[n]]
Map[a296513, Range[75] (* Hartmut F. W. Hoft, Sep 05 2021 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Omar E. Pol, Feb 10 2018
EXTENSIONS
More terms from Omar E. Pol, Aug 28 2021
STATUS
approved