Annual appeal: Please make a donation to keep the OEIS running!
Over 6000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".

a(1)=2 because a(1)=1 would create a contradiction (1 would have appeared twice in the two sequences, not once). a(1)=2 implies that 1 appears once in this sequence; the first term that can equal 1 without creating a contradiction is a(4).

CROSSREFS

A081315 is the corresponding sequence for nonnegative integers, see also A001462.