OFFSET
-1,2
COMMENTS
The leading binary bits of Pi are 11.0010010000111111011010101000100010000101101000110000100011010011000...
FORMULA
a(n) = sum of the bits with value 2^(-n) or larger.
a(n) = (A166006(n+2) + n + 2)/2. - Pontus von Brömssen, Nov 26 2020
MATHEMATICA
Accumulate[First[RealDigits[Pi, 2, 100]]] (* Paolo Xausa, Jul 31 2024 *)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Lee A. Newberg, Apr 05 2018
STATUS
approved