>="Charles Greathouse" <charles.greathouse at case.edu>
> What about "The minimal y such that there are n elements of {1, ..., y}
> with fewer than p distinct elements mod p for all prime p."? That way we're
> not relying on conjectures to define the sequence.
Agreed. If at all possible the name should describe what the sequence
actually is. Any associated conjectures should appear as comments.
That way the sequence name remains invariant under future discoveries (which
could then be appended as further comments).