A356315 - OEIS

%I #9 Nov 04 2022 19:25:36

%S 1,1,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1,1,1,0,0,1,1,1,0,1,0,1,1,1,1,1,0,1,

%T 1,1,1,1,0,0,1,1,1,1,0,1,1,1,0,0,0,1,1,1,0,0,0,1,1,1,1,1,0,1,1,1,1,1,

%U 0,1,1,1,1,1,0,1,1,1,1,0,0,1,1,0,0,1,0,1,1,1,0,1,0,1,1,1,1,0,0,0,1,1,1,1,1,1,1,1,1,0,0,0,1,1,0,1,0,1,0,1

%N a(n) = 1 if n divides the least j >= n such that n and A276086(j) are coprime, otherwise 0. Here A276086 is the primorial base exp-function.

%H Antti Karttunen, <a href="/A356315/b356315.txt">Table of n, a(n) for n = 1..65537</a>

%H <a href="/index/Ch#char_fns">Index entries for characteristic functions</a>

%H <a href="/index/Pri#primorialbase">Index entries for sequences related to primorial base</a>

%F a(n) = [0 == A356309(n) (mod n)], where [ ] is the Dirichlet inverse.

%F a(n) >= A356162(n).

%o (PARI) A356315(n) = !(A356309(n)%n);

%Y Characteristic function of A356316, whose complement A356317 gives the positions of zeros.

%Y Cf. A002110, A276086, A356162, A356302, A356309, A356313.

%K nonn

%O 1

%A _Antti Karttunen_, Nov 04 2022