cp's OEIS Frontend

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.

A262512 Sequence gives the unique x for each term of A262511 which contains those numbers n that have exactly one solution to x - d(x) = n, where d(n) is the number of divisors of n (A000005).

Original entry on oeis.org

6, 5, 8, 7, 11, 14, 18, 20, 17, 24, 22, 23, 27, 32, 34, 35, 40, 43, 46, 50, 47, 51, 57, 58, 61, 72, 65, 73, 84, 77, 81, 79, 88, 86, 87, 96, 92, 93, 94, 98, 99, 102, 97, 105, 101, 103, 120, 107, 114, 116, 119, 123, 125, 130, 135, 137, 143, 154, 160, 151, 155, 158, 164, 163, 175, 173, 177, 184, 179, 187, 198, 200, 191, 194, 193, 204, 210, 197, 203, 216, 206, 209, 212
Offset: 1

Views

Author

Antti Karttunen, Sep 25 2015

Keywords

Comments

Sequence is sorted by the magnitude of terms in A262511. Cf. also A262513.

Crossrefs

Cf. A262513 (same sequence sorted into ascending order).

Programs

  • Scheme
    (define (A262512 n) (let ((s (A262511 n))) (let loop ((k s)) (if (= s (A049820 k)) k (loop (+ 1 k))))))

Formula

a(n) = the least (and the only) such number k > A262511(n) that A049820(k) = A262511(n).
a(n) = A082284(A262511(n)).
a(n) = A262686(A262511(n)).