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 A282024 #5 Feb 10 2017 14:09:13 %S A282024 1,3,7,19,41,74,131,302,523,1031,2458,4132,8209,16381,32832,84614, %T A282024 131101,262139 %N A282024 Define k by A280864(k) = 2^n; then a(n) = A280864(k-1)/2, or -1 if that is not an integer. %C A282024 It is known that every even number appears in A280864, and that the powers of 2 appear in increasing order. %C A282024 If it were known that A280864(k-1) were always even, this would prove that A280864 contains every odd number, and so complete the proof that A280864 contains every positive number. %Y A282024 Cf. A280864, A280746. %K A282024 nonn,more %O A282024 2,2 %A A282024 _N. J. A. Sloane_, Feb 10 2017