login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A348933
Numbers k congruent to 1 or 5 mod 6, for which A348930(k^2) < k^2.
4
7, 13, 19, 31, 35, 37, 43, 61, 65, 67, 73, 77, 79, 91, 95, 97, 103, 109, 119, 127, 133, 139, 143, 151, 155, 157, 161, 163, 175, 181, 185, 193, 199, 203, 209, 211, 215, 217, 221, 223, 229, 241, 247, 259, 271, 277, 283, 287, 299, 301, 305, 307, 313, 323, 325, 329, 331, 335, 337, 341, 349, 365, 367, 371, 373, 377, 379
OFFSET
1,1
COMMENTS
Any hypothetical odd term y of A005820 must by necessity be a square. If y is also a nonmultiple of 3, then the square root x = A000196(y) of such a number y must satisfy the condition that for all nontrivial unitary divisor pairs d and x/d [with gcd(d,x/d) = 1, 1 < d < x], the other divisor should reside in this sequence, and the other divisor in A348934. The explanation is similar to the one given in A348738. See also comments in A348935.
MATHEMATICA
s[n_] := n / 3^IntegerExponent[n, 3]; Select[Range[400], MemberQ[{1, 5}, Mod[#, 6]] && s[DivisorSigma[1, #^2]] < #^2 &] (* Amiram Eldar, Nov 04 2021 *)
PROG
(PARI)
A038502(n) = (n/3^valuation(n, 3));
A348930(n) = A038502(sigma(n));
isA348933(n) = ((n%2)&&(n%3)&&(A348930(n^2)<(n^2)));
KEYWORD
nonn
AUTHOR
Antti Karttunen, Nov 04 2021
STATUS
approved