OFFSET
1,2
COMMENTS
a(n) = A000028(n+1) | a(n+1) ? [I interpret this as saying "Is it true that if a(n) = A000028(n+1) then a(n) divides a(n+1)?" - N. J. A. Sloane, Feb 15 2025]
For n > 2, a(n) is a Zumkeller number (A083207). Proof: Let p_r be the maximum prime in the prime factorization of a(n). First, in the prime factorization p_r must be to the power of one (otherwise we could build a smaller term with the same number of divisors, which would contradict the definition). Second, p_1 must be 2 and floor(log_2(p_r)) <= e_1, where e_1 is the exponent of p_1 (same reason as above). Therefore, there exists a power e <= e_1 such that p_1^e*p_r is a primitive Zumkeller number (see A180332). Then p_1^e1*p is a Zumkeller number (see Theorem 4.13 in Mahanta et al. JNT paper at A083207). Then a(n) = p_1*e_1*p_2^e_2*...*p_r is a Zumkeller number (see Corollary 5 in Rao/Peng JNT paper at A083207). - Ivan N. Ianakiev, Feb 15 2025
FORMULA
a(n) = A037992(n)/2. - Amiram Eldar, Feb 06 2025
EXAMPLE
1 is in the sequence because tau(1*2) = tau(2) = 2 = 2^1;
3 is in the sequence because tau(3*2) = tau(6) = 4 = 2^2;
12 is in the sequence because tau(12*2) = tau(24) = 8 = 2^3;
CROSSREFS
KEYWORD
nonn,new
AUTHOR
Juri-Stepan Gerasimov, Feb 06 2025
STATUS
approved