OFFSET
1,1
COMMENTS
n is said to be contracted if and only if n has distinct divisors d_1 < d_2 < ... < d_k such that d_1+d_2+...+d_(k-1) >= d_k. Note that d_k need not be the greatest divisor of n -- see the examples.
LINKS
Alois P. Heinz, Table of n, a(n) for n = 1..10000
EXAMPLE
6 has divisors 1, 2, 3, 6, and 1+2 >= 3, so 6 is a member. 45 has divisors 1, 3, 5, 9, 15, 45, and 1+3+5+9 = 18 > 15, so 45 is a member. - N. J. A. Sloane, Jun 12 2021
MATHEMATICA
cnQ[n_]:=Module[{d=Divisors[n], len}, len=Length[d]; AnyTrue[Table[Take[ d, k], {k, 3, len}], Total[Most[#]]>=Last[#]&]]; Select[Range[200], cnQ] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, Jun 12 2021 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Alexander Benjamin Schwartz (QBOB(AT)aol.com), Dec 08 1999
STATUS
approved