A373990 a(n) = 1 if the binary weight of n is not greater than the 2-adic valuation of 2*n, otherwise 0.

1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1

Offset

1

Links

Antti Karttunen, Table of n, a(n) for n = 1..100000

Index entries for sequences related to binary expansion of n

Index entries for characteristic functions

Formula

a(n) = [A000120(n) <= A001511(n)], where [ ] is the Iverson bracket.

Mathematica

A373990[n_] := Boole[DigitCount[n, 2, 1] <= IntegerExponent[n, 2] + 1];
Array[A373990, 100] (* Paolo Xausa, Jul 01 2024 *)

Prog

(PARI) A373990(n) = (hammingweight(n) <= (1+valuation(n, 2)));

Crossrefs

Characteristic function of A371176.

Cf. A000120, A001511.

Sequence in context: A322860 A353766 A178225 * A264739 A373252 A257170

Adjacent sequences: A373987 A373988 A373989 * A373991 A373992 A373993

Keyword

nonn

Author

Antti Karttunen, Jun 30 2024

Status

approved