This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A320985 #35 Sep 02 2024 08:37:51 %S A320985 1,4,6,8,9,10,11,12,14,15,20,21,24,25,28,29,37,38,42,47,48,51,52,54, %T A320985 55,57,58,59,60,62,63,64,66,69,70,72,78,81,82,83,85,86,89,92,93,96, %U A320985 100,102,104,106,107,109,111,113,119,121,122,128,129,130,134,136,139 %N A320985 Complement of A092855. %C A320985 Positions of 0 in the binary expansion of sqrt(2) after the radix point. With a prepended 0, A092855 gives the positions of 1. %H A320985 Paolo Xausa, <a href="/A320985/b320985.txt">Table of n, a(n) for n = 1..10000</a> %e A320985 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. %t A320985 PositionIndex[First[RealDigits[Sqrt[2], 2, 200, -1]]][0] (* _Paolo Xausa_, Aug 27 2024 *) %o A320985 (PARI) default(realprecision, 150); x=sqrt(2); for(n=1, 150, if(!(floor(x*2^n)%2),print1(n, ", "))) %o A320985 (PARI) Vec(select(x->(x==0), binary(sqrt(2))[2], 1)) \\ _Michel Marcus_, Oct 29 2018 %Y A320985 Cf. A004539, A092855. %K A320985 nonn,base %O A320985 1,2 %A A320985 _Jianing Song_, Oct 27 2018