A391580 - OEIS

%I #12 Dec 17 2025 17:16:53

%S 3,6,7,11,12,13,14,15,19,22,23,24,25,26,27,28,29,30,31,35,38,39,43,44,

%T 45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,67,70,71,75,

%U 76,77,78,79,83,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111

%N Numbers k for which A391571(k) > k.

%C This is a subsequence of A004780, from which this differs first at a(940) = 1118, while A004780(940) = 1117, a value not in this sequence. See A391581.

%H Antti Karttunen, <a href="/A391580/b391580.txt">Table of n, a(n) for n = 1..10000</a>

%H <a href="/index/Bi#binary">Index entries for sequences related to binary expansion of n</a>.

%H <a href="/index/Ca#CARRYLESS">Index entries for sequences related to carryless arithmetic</a>.

%o (PARI) is_A391580(k) = (A391571(k)>k);

%Y Cf. A391571.

%Y Setwise difference A004780 \ A391581.

%K nonn,base

%O 1,1

%A _Antti Karttunen_, Dec 17 2025