409677

Appears in sequences

• Insert a dot after the first digit of a(n); this is now the beginning of the arithmetic mean of the digits used so far in the sequence. Lexicographically earliest sequence of distinct positive terms with this property.at n=18A335744