0,5

Antti Karttunen, Table of n, a(n) for n = 0..8192

a(n) = n - A255574(n).

Other identities and observations. For all n >= 1:

a(n) = 1 + A255572(n).

a(n) <= A062298(n).

(PARI)

A255573_write_bfile(up_to_n) = { my(n, a_n=0); for(n=0, up_to_n, if(((n > 0) && !polisirreducible(Pol(binary(n)))), a_n++); write("b255573.txt", n, " ", a_n)); };

A255573_write_bfile(8192);

Essentially one more than A255572 (after the initial zero).

Cf. A062298, A205783, A255574.

Sequence in context: A269362 A321695 A197432 * A062298 A283371 A116579

Adjacent sequences: A255570 A255571 A255572 * A255574 A255575 A255576

nonn

Antti Karttunen, May 14 2015

approved