|
|
A294179
|
|
a(n) is the smallest k with n prime factors such that p^k == p (mod k) for every prime p dividing k.
|
|
0
|
|
|
|
OFFSET
|
1,1
|
|
COMMENTS
|
All the terms are squarefree. Are all composite terms odd?
Conjecture: the sequence contains only finitely many Carmichael numbers, A006931. What is the smallest n >= 3 for which a(n) is not a Carmichael number? For n >= 3, a(n) <= A006931(n).
|
|
LINKS
|
|
|
MAPLE
|
for k from 2 to 10^6 do
if numtheory:-issqrfree(k) then
ps := numtheory:-factorset(k);
n := nops(ps);
if not assigned(A[n]) and andmap(p -> p &^ k -p mod k = 0, ps) then
A[n] := k;
end if
end if;
end do:
seq(A[i], i=1..max(map(op, [indices(A)]))); # Robert Israel, Feb 11 2018
|
|
MATHEMATICA
|
With[{s = Select[Range[10^6], Function[k, AllTrue[FactorInteger[k][[All, 1]], PowerMod[#, k, k] == Mod[#, k] &]]]}, Select[Table[SelectFirst[s, PrimeOmega@ # == n &], {n, 5}], IntegerQ]] (* Michael De Vlieger, Feb 20 2018 *)
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,more,hard
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|