A265413 Positions of records in A265410: a(0) = 1; for n >= 1, a(n) = 1 + A265412(n-1).

1, 2, 9, 12, 15, 16, 19, 20, 23, 24, 25, 28, 29, 30, 33, 34, 35, 36, 39, 40, 41, 42, 45, 46, 47, 48, 49, 52, 53, 54, 55, 56, 59, 60, 61, 62, 63, 64, 67, 68, 69, 70, 71, 72, 75, 76, 77, 78, 79, 80, 81, 84, 85, 86, 87, 88, 89, 90, 93, 94, 95, 96, 97, 98, 99, 100, 103, 104, 105, 106, 107, 108, 109, 110, 113, 114, 115

Offset: 0

Author

Antti Karttunen, Dec 09 2015

Keywords

• nonn

Comments

Sequence gives the positions of records in A265410, equal to the points where its value increases by one.

Links

• Antti Karttunen, Table of n, a(n) for n = 0..10001

Crossrefs

Cf. A265410, A265412.

Programs

Scheme

(define (A265413 n) (if (zero? n) 1 (+ 1 (A265412 (- n 1)))))

Formula

a(0) = 1; for n >= 1, a(n) = 1 + A265412(n-1).

Other identities. For all n >= 0:

A265410(a(n)) = n. [Particularly: a(n) gives the position where n occurs for the first time in A265410.]