OFFSET
1,3
COMMENTS
Nonzero entries in A004601 (re-indexed to start at -1 and ascend).
The binary positions (exponents) are negated for convenience (as is standard practice). By the results of the PiHex project, the number 1,000,000,000,000,060 (for example) eventually appears in this sequence. Submitted on 3/14/15, (decimal) Pi Day.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
Steve Pagliarulo, Stu's pi page: base 2
Colin Percival, PiHex Home Page
Wikipedia, PiHex
FORMULA
Pi = Sum_{n>=0} 2^(-a(n)).
EXAMPLE
The most significant nonzero binary digit of pi occurs in the 2^1 position. Then there is a digit in the 2^0 position, then the 2^(-3) position, etc. Negate the exponents appearing to get this sequence.
MATHEMATICA
PositionIndex[First[RealDigits[Pi, 2, 200]]][1] - 2 (* Paolo Xausa, Aug 04 2024 *)
PROG
(PARI) A256108_upto(N)={localbitprec(N+20); [i-2|i<-[1..-20+#N=concat(binary(Pi))], N[i]]} \\ M. F. Hasler, Jul 27 2024
CROSSREFS
KEYWORD
sign,base
AUTHOR
David S. Metzler, Mar 14 2015
STATUS
approved