OFFSET
1,1
COMMENTS
The corresponding values y = y0(n) are given by A262026(n).
For the proof that d(n) = A007970(n), the products of Conway's 2-happy couples, see the W. Lang link under A007970.
If d(n) = A007970(n) is odd (necessarily congruent to 3 modulus 4) then x0(n) is even, and if d(n) is even (necessarily congruent to 0 modulus 8) then x0 is odd.
FORMULA
EXAMPLE
For the first [d(n), x0(n), y0(n)] see A262026.
CROSSREFS
KEYWORD
nonn
AUTHOR
Wolfdieter Lang, Oct 04 2015
STATUS
approved