OFFSET
1,2
COMMENTS
Positions of 0 in the binary expansion of sqrt(2) after the radix point. With a prepended 0, A092855 gives the positions of 1.
LINKS
Paolo Xausa, Table of n, a(n) for n = 1..10000
EXAMPLE
In binary, sqrt(2) is read as 1.0110101000001001111001... The 1st, 4th, 6th and 8th digits after the radix are 0's, so the first four terms are 1, 4, 6 and 8.
MATHEMATICA
PositionIndex[First[RealDigits[Sqrt[2], 2, 200, -1]]][0] (* Paolo Xausa, Aug 27 2024 *)
PROG
(PARI) default(realprecision, 150); x=sqrt(2); for(n=1, 150, if(!(floor(x*2^n)%2), print1(n, ", ")))
(PARI) Vec(select(x->(x==0), binary(sqrt(2))[2], 1)) \\ Michel Marcus, Oct 29 2018
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Jianing Song, Oct 27 2018
STATUS
approved