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 A359267 #4 Dec 24 2022 11:12:51 %S A359267 1,2,4,5,8,9,10,16,17,18,19,20,21,32,33,34,35,36,37,38,39,40,41,42,64, %T A359267 65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,128, %U A359267 129,130,131,132,133,134,135,136,137,138,139,140,141,142,143 %N A359267 Numbers k such that A359194(k) < k. %C A359267 The first run of consecutive values has length 2 and initial value 1. %C A359267 For k > 1, the k-th run of consecutive values has length A005578(k) and initial value 2^k. %e A359267 A359194(42) = 1 < 42, so 42 belongs to this sequence. %o A359267 (PARI) is(n) = if(n, bitneg(3*n, exponent(3*n)+1), 1) < n %Y A359267 Cf. A005578, A359194, A359266 (complement). %K A359267 nonn,base %O A359267 1,2 %A A359267 _Rémy Sigrist_, Dec 23 2022