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
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]]][0] - 1 (* 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
reviewed