A260084 Infinite sequence starting with a(0)=0 such that A(a(k)) = a(k-1) for all k>=1, where A(n) = n - A037445(n).

0, 2, 6, 10, 14, 18, 22, 30, 34, 42, 46, 54, 58, 62, 70, 78, 82, 90, 94, 102, 106, 114, 118, 122, 130, 138, 142, 146, 154, 158, 162, 166, 174, 182, 190, 194, 210, 214, 222, 230, 238, 242, 250, 254, 270, 274, 278, 286, 294, 298, 302, 310, 314, 330, 334, 342, 346, 354, 358, 366, 374, 390, 394, 402, 410, 418, 426, 434, 442

Offset

0,2

Comments

The first infinitary analog (see also A260124) of A259934 (see comment there). Using Falcao's method (2015) one can prove that such an infinite sequence exists.

All the first differences are powers of 2 (A260085). The infinitary case is interesting because here we have at least two analogs of sequences A259934, A259935 (respectively A260084, A260124 and A260085, A260123).

It is a corollary of the fact that all terms of A037445, except for n=1, are even (powers of 2). Therefore, in the analogs of A259934 we can begin with not only 0,2 (as in this sequence), but also with 0,1 (as in A260124). Then this sequence contains only the even terms, while A260124 - only the odd ones.

A generalization. For an even m, the multiplication of A260124 by 2^m and 2^(m+1) gives two infinite solutions of the system of equations for integer x_n, n>=1: A037445(x_1 + ... + x_n) = x_n/2^A005187(m), n>=1. In particular, for m=0, we obtain A260124 and A260084.

Links

Table of n, a(n) for n=0..68.

Formula

a(n) = 2 * A260124(n).

Crossrefs

Cf. A037445, A259934, A259935, A260085, A260124.

Sequence in context: A182991 A278568 A250198 * A194282 A000952 A286636

Adjacent sequences: A260081 A260082 A260083 * A260085 A260086 A260087

Keyword

nonn

Author

Vladimir Shevelev, Jul 15 2015

Status

approved