The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation. Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A296356 a(n) = A296354(n) - A296355(n). 4
 0, 0, 5, 3, 21, 19, 23, 11, 65, 53, 59, 72, 74, 81, 70, 31, 169, 182, 166, 176, 183, 148, 202, 188, 210, 202, 180, 228, 218, 216, 185, 79, 441, 345, 411, 467, 433, 458, 416, 475, 449, 489, 436, 461, 516, 374, 509, 462, 538, 487, 537, 505, 522, 503, 577, 560 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,3 COMMENTS This is the binary "early-birdness" of n (cf. A116700, A296364). Theorem: a(n) > 0 for all n > 1. Proof. The claim is true for 2 <= n <= 7, so assume n >= 8, and let u = 1... denote the binary expansion of n. Let L denote the list of all binary vectors whose concatenation gives A076478. To show a(n)>0 it is enough to exhibit a pair of successive binary vectors b, c in L whose concatenation contains a copy of u that begins in b and is such that b appears in L before u does. There are three cases. (i) Suppose n is even, say u = 1x0. Take c = x00, and let b be the vector preceding c in L, so that b = y11, say. Then bc = y11x00 contains u. (ii) Suppose n = 2^k-1, u = 1^k. Take b = 01^(k-1), c = 10^(k-1), so that bc = 0 1^k 0^(k-1). (iii) Otherwise, n is an odd number whose binary expansion contains a 0, say u = 1^k 0x1. Take c = 0x10^k, and let b be the vector preceding c in L, so that b = y1^k, say, and bc = y1^k 0x10^k. In each case we need to verify that b does appear in L before u, but we leave this easy verification to the reader.  QED LINKS Rémy Sigrist, Table of n, a(n) for n = 0..16384 CROSSREFS Cf. A076478, A296354, A295355, A116700, A296364. Sequence in context: A324038 A221473 A199638 * A154825 A091593 A139699 Adjacent sequences:  A296353 A296354 A296355 * A296357 A296358 A296359 KEYWORD nonn,base,look AUTHOR N. J. A. Sloane, Dec 14 2017, corrected and extended Dec 17 2017 EXTENSIONS More terms from Rémy Sigrist, Dec 19 2017 STATUS approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

Last modified August 2 02:35 EDT 2021. Contains 346409 sequences. (Running on oeis4.)