login
a(n) = Min {k > n : A235137(k) == -n (mod k)}, or -1 if no such minimum exists.
10

%I #27 Nov 04 2021 22:16:17

%S 2,4,9,8,6,180,10,15,14,12,121,35,22,20,18,32,289,28,34,24,38,57,529,

%T 45,46,44,81,40,546,36,58,64,62,93,50,56,210,68,74,48,42,76,82,123,54,

%U 129,510,117,94,92,3376098,88,690,329,106,80,2898,265,70,72,66

%N a(n) = Min {k > n : A235137(k) == -n (mod k)}, or -1 if no such minimum exists.

%C Conjecture: For all n, a(n) > 0.

%t Giuga1[mu_][n_] := Giuga1[mu][n] =

%t Mod[Sum[PowerMod[i, EulerPhi[n], n], {i, 1, n}] + mu, n] == 0;

%t A348059[n_] := A348059[n] =

%t {Clear[ww];Do[If[Giuga1[n][i], ww = i; Break[]], {i, n + 1, 20000000}]; ww} [[1]];

%t Table[A348059[n],{n,49}]

%o (PARI) a(n) = my(k=n+1); while (sum(i=1, k , Mod(i, k)^eulerphi(k)) != -n, k++); k; \\ _Michel Marcus_, Sep 28 2021

%Y Cf. A235137, A348058.

%K nonn

%O 1,1

%A _José María Grau Ribas_, Sep 26 2021