%I #50 Dec 16 2022 11:55:11
%S 35,35,77,77,143,143,143,143,299,299,323,323,323,323,437,437,667,667,
%T 667,667,899,899,899,899,899,899,1457,1457,1739,1739,1739,1739,1739,
%U 1739,1763,1763,1763,1763,2021,2021,2491,2491,2491,2491,3127,3127,3127,3127,3127
%N a(n) is the smallest k > 1 such that gcd(k, m^k - m) = 1 for all m = 2,...,n.
%C Conjecture: all the terms are in A121707.
%C From _David A. Corneth_, Aug 13 2018: (Start)
%C GCD(n, a(n)) = 1. a(n) is odd.
%C Is a(n) squarefree?
%C a(n+1) >= a(n) by definition. (End)
%C It seems that a(prime(n+1)-1) > a(prime(n)-1) for n > 1. - _Thomas Ordowski_, Aug 13 2018
%H Michel Marcus, <a href="/A316348/b316348.txt">Table of n, a(n) for n = 2..306</a>
%F Conjecture: a(n) ~ n^2.
%o (PARI) isok(k, n)= {for (m=2, n, if (gcd(k, m^k - m) != 1, return (0));); return(1);}
%o a(n) = {my(k=2); while (! isok(k, n), k++); k;} \\ _Michel Marcus_, Aug 13 2018
%Y Cf. A121707, A267999, A316111.
%K nonn
%O 2,1
%A _Thomas Ordowski_, Aug 13 2018
%E More terms from _Michel Marcus_, Aug 13 2018
|